Software verification and validation of safe autonomous cars: A systematic literature review

N Rajabli, F Flammini, R Nardone, V Vittorini - IEEE Access, 2020 - ieeexplore.ieee.org
Autonomous, or self-driving, cars are emerging as the solution to several problems primarily
caused by humans on roads, such as accidents and traffic congestion. However, those …

Testing, validation, and verification of robotic and autonomous systems: a systematic review

H Araujo, MR Mousavi, M Varshosaz - ACM Transactions on Software …, 2023 - dl.acm.org
We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

Simulation-based adversarial test generation for autonomous vehicles with machine learning components

CE Tuncali, G Fainekos, H Ito… - 2018 IEEE Intelligent …, 2018 - ieeexplore.ieee.org
Many organizations are developing autonomous driving systems, which are expected to be
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …

Generating critical test scenarios for automated vehicles with evolutionary algorithms

M Klischat, M Althoff - 2019 IEEE Intelligent Vehicles …, 2019 - ieeexplore.ieee.org
Virtual testing of automated vehicles using simulations is essential during their development.
When it comes to the testing of motion planning algorithms, one is mainly interested in …

Automatic generation of safety-critical test scenarios for collision avoidance of road vehicles

M Althoff, S Lutz - 2018 IEEE Intelligent Vehicles Symposium …, 2018 - ieeexplore.ieee.org
It is apparent that one cannot rely solely on physical test drives for ensuring the correct
functionality of autonomous vehicles. Since physical test drives are costly and time …

Requirements-driven test generation for autonomous vehicles with machine learning components

CE Tuncali, G Fainekos, D Prokhorov… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …

Driver behavior modeling using game engine and real vehicle: A learning-based approach

Z Wang, X Liao, C Wang, D Oswald… - IEEE Transactions …, 2020 - ieeexplore.ieee.org
As a good example of Advanced Driver-Assistance Systems (ADAS), Advisory Speed
Assistance (ASA) helps improve driving safety and possibly energy efficiency by showing …

End-to-end autonomous driving risk analysis: A behavioural anomaly detection approach

C Ryan, F Murphy, M Mullins - IEEE Transactions on Intelligent …, 2020 - ieeexplore.ieee.org
Autonomous vehicles (AV) have advanced considerably over the past decade and their
potential to reduce road accidents is without equal. That said, the evolution towards fully …

Sensor fusion of camera and cloud digital twin information for intelligent vehicles

Y Liu, Z Wang, K Han, Z Shou, P Tiwari… - 2020 IEEE Intelligent …, 2020 - ieeexplore.ieee.org
With the rapid development of intelligent vehicles and Advanced Driving Assistance
Systems (ADAS), a mixed level of human driver engagements is involved in the …

[PDF][PDF] Cooperative ramp merging system: Agent-based modeling and simulation using game engine

Z Wang, G Wu, K Boriboonsomsin… - … Journal of Connected …, 2019 - escholarship.org
Agent-based modeling and simulation (ABMS) has been a popular approach for modeling
autonomous and interacting agents in a multi-agent system. Specifically, ABMS can be …