Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 14 di 14
Titolo Data di pubblicazione Autori File
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 1-gen-2016 ASKARPOUR, MEHRNOOSHMANDRIOLI, DINOROSSI, MATTEO GIOVANNIVICENTINI, FEDERICO
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 1-gen-2017 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.
Formal model of human erroneous behavior for safety analysis in collaborative robotics 1-gen-2019 Askarpour M.Mandrioli D.Rossi M.Vicentini F.
Formal Methods in Designing Critical Cyber-Physical Systems 1-gen-2019 Askarpour M.Ghezzi C.Mandrioli D.Rossi M.Tsigkanos C.
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation 1-gen-2020 Askarpour M.Rossi M.Tiryakiler O.
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 1-gen-2020 Askarpour, MehrnooshLestingi, LiviaRossi, Matteo GiovanniVicentini, Federico +
Statistical Model Checking of Human-Robot Interaction Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshMarcello M. BersaniRossi, Matteo
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
RoboMAX: Robotic Mission Adaptation eXemplars 1-gen-2021 Askarpour, MehrnooshTsigkanos, ChristosMenghi, ClaudioRossi, MatteoBersani, Marcello M. +
Formally-based Model-Driven Development of Collaborative Robotic Applications 1-gen-2021 Askarpour, MehrnooshLestingi, LiviaIannacci, NiccolòRossi, MatteoVicentini, Federico +
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 1-gen-2023 Lestingi, LiviaManglaviti, AndreaMarinaro, DavideAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo +
Mostrati risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile