( en | de | ru )

 

Disambiguation of "Alexander, Rob"

Author of the publication

copydeleteadd this publication to your clipboard
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.

, , , , , , , and . CoRR, (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.

Klaus Rob

Rob Cornelissen

Theodor Rob

Beatrice Rob

Rob Smith

 

Other publications of authors with the same name

Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search., , and . J. Aerosp. Inf. Syst., 13 (5): 191-203 (2016)Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study., and . CoRR, (2019)Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search., , and . SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 33-48. Springer, (2014)Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation., and . LADC, page 208-213. ACM, (2023)On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution., , and . DSN Workshops, page 192-199. IEEE Computer Society, (2016)Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment., , and . Reliab. Eng. Syst. Saf., (2014)Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review., and . CoRR, (2021)A Systematic Approach for Designing Mutation Operators for MDE Languages., , , and . MoDeVVa@MoDELS, volume 1713 of CEUR Workshop Proceedings, page 54-59. CEUR-WS.org, (2016)Verified synthesis of optimal safety controllers for human-robot collaboration., , , , , , , and . Sci. Comput. Program., (2022)Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA., and . MESAS, volume 13207 of Lecture Notes in Computer Science, page 191-212. Springer, (2021)