Requirements-driven Test Generation for Autonomous Vehicles with Machine
Learning Components

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

2 August 2019

Cumhur Erkan Tuncali

Georgios Fainekos

Danil Prokhorov

Papers citing "Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components"

14 / 14 papers shown

Title
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events Yan Miao Georgios Fainekos Bardh Hoxha Hideki Okamoto Danil Prokhorov Sayan Mitra 84 1 0 28 Jan 2025
Adaptive Testing Environment Generation for Connected and Automated Vehicles with Dense Reinforcement Learning Jingxuan Yang Ruoxuan Bai Haoyuan Ji Yi Zhang Jianming Hu Shuo Feng 37 3 0 29 Feb 2024
Explainable AI for Safe and Trustworthy Autonomous Driving: A Systematic Review Anton Kuznietsov Balint Gyevnar Cheng Wang Steven Peters Stefano V. Albrecht XAI 28 26 0 08 Feb 2024
Realistic Safety-critical Scenarios Search for Autonomous Driving System via Behavior Tree Ping Zhang Lingfeng Ming Ting Yuan Cong Qiu Yang Li Xinhua Hui Zhi-qin Zhang Chao Huang 24 1 0 11 May 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 21 1 0 08 Mar 2023
One Ontology to Rule Them All: Corner Case Scenarios for Autonomous Driving Daniel Bogdoll Stefani Guneshka J. Marius Zöllner 29 27 0 01 Sep 2022
Critical concrete scenario generation using scenario-based falsification D. Karunakaran J. S. Berrio Stewart Worrall E. Nebot 19 8 0 29 Aug 2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 26 6 0 29 Jun 2022
A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation Ziyuan Zhong Yun Tang Yuan Zhou V. Neves Yang Liu Baishakhi Ray 43 60 0 02 Dec 2021
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review Xinhai Zhang Jianbo Tao Kaige Tan Martin Törngren José Manuel Gaspar Sánchez ... Magnus Gyllenhammar F. Wotawa N. Mohan Mihai Nica Hermann Felbinger 35 39 0 16 Oct 2021
Local Repair of Neural Networks Using Optimization K. Majd Siyu Zhou H. B. Amor Georgios Fainekos S. Sankaranarayanan 21 6 0 28 Sep 2021
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges G. Giray 33 120 0 14 Dec 2020
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems Anthony Corso Robert J. Moss Mark Koren Ritchie Lee Mykel J. Kochenderfer 19 169 0 06 May 2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules Mohammad Hekmatnejad Bardh Hoxha Georgios Fainekos 27 16 0 25 Apr 2020