( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.

, , , и . Ershov Informatics Conference, том 10742 из Lecture Notes in Computer Science, стр. 12-27. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mehrnoosh Jafari

 

Другие публикации лиц с тем же именем

RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , и 3 other автор(ы). SEAMS@ICSE, стр. 245-251. IEEE, (2021)How to Formally Model Human in Collaborative Robotics.. FMAS, том 329 из EPTCS, стр. 1-14. (2020)SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 283-295. Springer, (2016)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , и . ICHMS, стр. 1-6. IEEE, (2020)Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 89-104. Springer, (2017)Formal Verification of Human-Robot Interaction in Healthcare Scenarios., , , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 303-324. Springer, (2020)A Deployment Framework for Formally Verified Human-Robot Interactions., , , и . IEEE Access, (2021)Teaching Formal Methods: An Experience Report., и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2019)Mind the gap: Robotic Mission Planning Meets Software Engineering., , , , и . FormaliSE@ICSE, стр. 55-65. ACM, (2020)An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities., , и . CoRR, (2024)