( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.

. Polytechnic University of Milan, Italy, (2018)

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

 

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

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 283-295. Springer, (2016)How to Formally Model Human in Collaborative Robotics.. FMAS, том 329 из EPTCS, стр. 1-14. (2020)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , и 3 other автор(ы). SEAMS@ICSE, стр. 245-251. IEEE, (2021)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)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)A Deployment Framework for Formally Verified Human-Robot Interactions., , , и . IEEE Access, (2021)An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities., , и . CoRR, (2024)