Author of the publication

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.

, , , , , and . CoRR, (2022)

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.

 

Other publications of authors with the same name

Safety Validation of Autonomous Vehicles using Assertion-based Oracles., , , , , and . CoRR, (2021)Standards and Regulations for Physically Assistive Robots**Research supported by Lloyds Register Foundation, under the Assuring Antonomy International Programme., , and . ISR, page 259-263. IEEE, (2021)Towards an Ontological Framework for Environmental Survey Hazard Analysis of Autonomous Systems., and . SafeAI@AAAI, volume 2808 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process., , , , , and . CoRR, (2022)Direct Lyapunov design - a synthesis procedure for motor schema using a second-order Lyapunov stability theorem., and . IROS, page 2085-2090. IEEE, (2002)Online Hazard Analysis for Autonomous Robots., , , and . TAROS, volume 6856 of Lecture Notes in Computer Science, page 406-407. Springer, (2011)Mapping the complexity of suicide by combining participatory modeling and network science., , , , , , , and . ASONAM, page 339-342. ACM, (2021)A methodology for provably stable behaviour-based intelligent control., and . Robotics Auton. Syst., 54 (1): 52-73 (2006)Design and Deployment of a Simulation Platform: Case Study of an Agent-Based Model for Youth Suicide Prevention., , , , , , , , and . WSC, page 2582-2593. IEEE, (2022)Building safer robots: Safety driven control., , , and . Int. J. Robotics Res., 31 (13): 1603-1626 (2012)