Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

18 April 2018

Papers citing "Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components"

22 / 22 papers shown

Title
Safety Interventions against Adversarial Patches in an Open-Source Driver Assistance System Cheng Chen Grant Xiao Daehyun Lee Lishan Yang E. Smirni H. Alemzadeh Xugui Zhou AAML 31 1 0 26 Apr 2025
Adaptive Failure Search Using Critical States from Domain Experts Peter Du Katherine Driggs-Campbell 13 10 0 01 Apr 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 30 7 0 07 Mar 2023
Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification Error Tyler Cody Laura J. Freeman OODD 11 2 0 28 Feb 2023
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA Shreyas Ramakrishna Baiting Luo Christopher B. Kuhn G. Karsai Abhishek Dubey AAML 31 17 0 19 Jul 2022
SoK: On the Semantic AI Security in Autonomous Driving Junjie Shen Ningfei Wang Ziwen Wan Yunpeng Luo Takami Sato ... Zhenyu Zhong Kang Li Ziming Zhao Chunming Qiao Qi Alfred Chen AAML 20 39 0 10 Mar 2022
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing Tyler Cody Erin Lanus Daniel D. Doyle Laura J. Freeman 16 24 0 28 Jan 2022
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees Giulia Pedrielli Tanmay Kandhait Surdeep Chotaliya Quinn Thibeault Hao Huang M. Castillo-Effen Georgios Fainekos 22 19 0 20 Oct 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
Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design Craig Innes S. Ramamoorthy 24 5 0 16 Sep 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 66 0 26 Jul 2021
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) Fitash Ul Haq Donghwan Shin Lionel C. Briand Thomas Stifter Jun Wang AAML 21 19 0 11 Dec 2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules Mohammad Hekmatnejad Bardh Hoxha Georgios Fainekos 27 16 0 25 Apr 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 29 237 0 12 Apr 2020
Deep Neural Network Perception Models and Robust Autonomous Driving Systems M. Shafiee Ahmadreza Jeddi Amir Nazemi Paul Fieguth A. Wong OOD 25 15 0 04 Mar 2020
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 121 73 0 28 Jan 2020
A Systematic Mapping Study on Testing of Machine Learning Programs S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 24 13 0 11 Jul 2019
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 24 739 0 19 Jun 2019
Simple Physical Adversarial Examples against End-to-End Autonomous Driving Models Adith Boloor Xin He C. Gill Yevgeniy Vorobeychik Xuan Zhang AAML 15 74 0 12 Mar 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems T. Dreossi Daniel J. Fremont Shromona Ghosh Edward J. Kim H. Ravanbakhsh Marcell Vazquez-Chanlatte S. Seshia 15 29 0 12 Feb 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016