ASKARPOUR, MEHRNOOSH
ASKARPOUR, MEHRNOOSH
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
2024-01-01 Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
2020-01-01 Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D.