research
∙
12/24/2021
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA
Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety c...
share
research
∙
06/11/2021
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
We present a tool-supported approach for the synthesis, verification and...
research
∙
03/07/2021
Coverage based testing for V V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
Self-driving Autonomous Vehicles (SAVs) are gaining more interest each p...
research
∙
05/17/2020
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models
Simulation models have been informing the COVID-19 policy-making process...
research
∙
11/15/2019
Situation Coverage Testing for a Simulated Autonomous Car – an Initial Case Study
It is hard to test autonomous robot (AR) software because of the range a...
research
∙
10/10/2017