( en | de | ru )

 

Disambiguation of "Askarpour, Mehrnoosh"

Author of the publication

copydeleteadd this publication to your clipboard
RoboMAX: Robotic Mission Adaptation eXemplars.

, , , , , , , , , , , , and . SEAMS@ICSE, page 245-251. IEEE, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Mehrnoosh Jafari

 

Other publications of authors with the same name

RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)Observations on Transitioning to Teaching Computer Science Online.. CoRR, (2021)How to Formally Model Human in Collaborative Robotics.. FMAS, volume 329 of EPTCS, page 1-14. (2020)SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 283-295. Springer, (2016)Formally-based Model-Driven Development of Collaborative Robotic Applications., , , , , and . J. Intell. Robotic Syst., 102 (3): 59 (2021)Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K., , and . Q-SET@QCE, volume 2705 of CEUR Workshop Proceedings, page 27-37. CEUR-WS.org, (2020)A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios., , , and . SMC, page 1907-1914. IEEE, (2020)Analyzing the impact of human errors on interactive service robotic scenarios via formal verification., , , , , , and . Softw. Syst. Model., 23 (2): 473-502 (April 2024)Statistical Model Checking of Human-Robot Interaction Scenarios., , , and . AREA@ECAI, volume 319 of EPTCS, page 9-17. (2020)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , and . ICHMS, page 1-6. IEEE, (2020)