ASKARPOUR, MEHRNOOSH

ASKARPOUR, MEHRNOOSH  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autori File
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 1-gen-2024 Lestingi, LiviaManglaviti, AndreaMarinaro, DavideAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo +
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation 1-gen-2020 Askarpour M.Rossi M.Tiryakiler O.
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 +
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-2020 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