ASKARPOUR, MEHRNOOSH
ASKARPOUR, MEHRNOOSH
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
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.
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
2023-01-01 Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation
2020-01-01 Askarpour, M.; Rossi, M.; Tiryakiler, O.
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico
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
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
2019-01-01 Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D.
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo