ASKARPOUR, MEHRNOOSH

ASKARPOUR, MEHRNOOSH  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autori File
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation 1-gen-2020 Askarpour M.Rossi M.Tiryakiler O.
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
Formal Methods in Designing Critical Cyber-Physical Systems 1-gen-2019 Askarpour M.Ghezzi C.Mandrioli D.Rossi M.Tsigkanos C.
Formal model of human erroneous behavior for safety analysis in collaborative robotics 1-gen-2019 Askarpour M.Mandrioli D.Rossi M.Vicentini F.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo
Formally-based Model-Driven Development of Collaborative Robotic Applications 1-gen-2021 Askarpour, MehrnooshLestingi, LiviaIannacci, NiccolòRossi, MatteoVicentini, Federico +
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 1-gen-2020 Askarpour, MehrnooshLestingi, LiviaRossi, Matteo GiovanniVicentini, Federico +
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 1-gen-2017 ASKARPOUR, MEHRNOOSHMANDRIOLI, DINOROSSI, MATTEO GIOVANNIVICENTINI, FEDERICO
RoboMAX: Robotic Mission Adaptation eXemplars 1-gen-2021 Askarpour, MehrnooshTsigkanos, ChristosMenghi, ClaudioRossi, MatteoBersani, Marcello M. +
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 1-gen-2016 ASKARPOUR, MEHRNOOSHMANDRIOLI, DINOROSSI, MATTEO GIOVANNIVICENTINI, FEDERICO
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 1-gen-2019 Vicentini F.Askarpour M.Rossi M. G.Mandrioli D.
Statistical Model Checking of Human-Robot Interaction Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshMarcello M. BersaniRossi, Matteo