( en | de | ru )

 

Disambiguierung von "Askarpour, Mehrnoosh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.

. Polytechnic University of Milan, Italy, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mehrnoosh Jafari

 

Weitere Publikationen von Autoren mit dem selben Namen

A Deployment Framework for Formally Verified Human-Robot Interactions., , , und . IEEE Access, (2021)Mind the gap: Robotic Mission Planning Meets Software Engineering., , , , und . FormaliSE@ICSE, Seite 55-65. ACM, (2020)Teaching Formal Methods: An Experience Report., und . FISEE, Volume 12271 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2019)How to Formally Model Human in Collaborative Robotics.. FMAS, Volume 329 von EPTCS, Seite 1-14. (2020)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , und 3 andere Autor(en). SEAMS@ICSE, Seite 245-251. IEEE, (2021)SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , und . SAFECOMP, Volume 9922 von Lecture Notes in Computer Science, Seite 283-295. Springer, (2016)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , und . ICHMS, Seite 1-6. IEEE, (2020)Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications., , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 89-104. Springer, (2017)Formal Verification of Human-Robot Interaction in Healthcare Scenarios., , , und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 303-324. Springer, (2020)Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.. Polytechnic University of Milan, Italy, (2018)