ASKARPOUR, MEHRNOOSH
ASKARPOUR, MEHRNOOSH
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation
2020-01-01 Askarpour, M.; Rossi, M.; Tiryakiler, O.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications
2020-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
2017-01-01 Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
2016-01-01 Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo