English
Related papers

Related papers: Situation Coverage Testing for a Simulated Autonom…

200 papers

Recently, numerous studies have investigated cooperative traffic systems using the communication among vehicle-to-everything (V2X). Unfortunately, when multiple autonomous vehicles are deployed while exposed to communication failure, there…

Robotics · Computer Science 2022-11-08 Daegyu Lee , Hyunki Seong , Seungil Han , Gyuree Kang , D. Hyunchul Shim , Yoonjin Yoon

Autonomous driving has been the subject of increased interest in recent years both in industry and in academia. Serious efforts are being pursued to address legal, technical and logistical problems and make autonomous cars a viable option…

Artificial Intelligence · Computer Science 2016-08-31 Nan Li , Dave Oyler , Mengxuan Zhang , Yildiray Yildiz , Ilya Kolmanovsky , Anouck Girard

This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveraging our previous work on formally-driven simulation for…

Software Engineering · Computer Science 2021-09-01 Kesav Viswanadha , Francis Indaheng , Justin Wong , Edward Kim , Ellen Kalvan , Yash Pant , Daniel J. Fremont , Sanjit A. Seshia

Systematically testing models learned from neural networks remains a crucial unsolved barrier to successfully justify safety for autonomous vehicles engineered using data-driven approach. We propose quantitative k-projection coverage as a…

Software Engineering · Computer Science 2018-05-14 Chih-Hong Cheng , Chung-Hao Huang , Hirotoshi Yasuoka

Autonomous vehicles and robots require increasingly more robustness and reliability to meet the demands of modern tasks. These requirements specially apply to cameras onboard such vehicles because they are the predominant sensors to acquire…

Computer Vision and Pattern Recognition · Computer Science 2023-11-14 Maik Wischow , Guillermo Gallego , Ines Ernst , Anko Börner

We present a method for solving the coverage problem with the objective of autonomously exploring an unknown environment under mission time constraints. Here, the robot is tasked with planning a path over a horizon such that the accumulated…

Ensuring the safety of autonomous vehicles (AVs) is paramount in their development and deployment. Safety-critical scenarios pose more severe challenges, necessitating efficient testing methods to validate AVs safety. This study focuses on…

Robotics · Computer Science 2025-08-12 Rui Zhou

The mass production of complex software has made it impossible to manually test it for security vulnerabilities. Automated security testing tools come in a variety of flavors, function at various stages of software development, and target…

Software Engineering · Computer Science 2023-01-18 Yan Wu , Jingyi Su , David D. Moran , Chris D. Near

Ensuring the safety of autonomous vehicles (AVs) requires identifying rare but critical failure cases that on-road testing alone cannot discover. High-fidelity simulations provide a scalable alternative, but automatically generating…

Machine Learning · Computer Science 2024-11-27 Amar Kulkarni , Shangtong Zhang , Madhur Behl

The problem of coverage control, i.e., of coordinating multiple agents to optimally cover an area, arises in various applications. However, coverage applications face two major challenges: (1) dealing with nonlinear dynamics while…

Systems and Control · Electrical Eng. & Systems 2024-04-01 Rahel Rickenbach , Johannes Köhler , Anna Scampicchio , Melanie N. Zeilinger , Andrea Carron

Assessing scenario coverage is crucial for evaluating the robustness of autonomous agents, yet existing methods rely on expensive human annotations or computationally intensive Large Vision-Language Models (LVLMs). These approaches are…

Robotics · Computer Science 2025-10-30 Anil Yildiz , Sarah M. Thornton , Carl Hildebrandt , Sreeja Roy-Singh , Mykel J. Kochenderfer

Despite extensive research, the testing of autonomous driving systems (ADS) landscape remains fragmented, and there is currently no basis for an informed technical assessment of the importance and contribution of the current state of the…

Software Engineering · Computer Science 2025-07-29 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

The advancing digitalization of vehicles and automotive systems bears many advantages for creating and enhancing comfort and safety-related systems ranging from drive-by-wire, inclusion of advanced displays, entertainment systems up to…

Cryptography and Security · Computer Science 2019-11-18 Stefan Marksteiner , Zhendong Ma

This paper presents the CAT Vehicle (Cognitive and Autonomous Test Vehicle) Testbed: a research testbed comprised of a distributed simulation-based autonomous vehicle, with straightforward transition to hardware in the loop testing and…

Robotics · Computer Science 2018-04-13 Rahul Kumar Bhadani , Jonathan Sprinkle , Matthew Bunting

Radar sensors are low cost, long-range, and weather-resilient. Therefore, they are widely used for driver assistance functions, and are expected to be crucial for the success of autonomous driving in the future. In many perception tasks…

Computer Vision and Pattern Recognition · Computer Science 2024-08-12 Mariia Pushkareva , Yuri Feldman , Csaba Domokos , Kilian Rambach , Dotan Di Castro

Self-driving technology is expected to revolutionize different sectors and is seen as the natural evolution of road vehicles. In the last years, real-world validation of designed and virtually tested solutions is growing in importance since…

Robotics · Computer Science 2022-02-15 Stefano Arrigoni , Simone Mentasti , Federico Cheli , Matteo Matteucci , Francesco Braghin

As a variety of automated collision prevention systems gain presence within personal vehicles, rating and differentiating the automated safety performance of car models has become increasingly important for consumers, manufacturers, and…

Robotics · Computer Science 2024-11-28 Luigi Di Lillo , Andrea Triscari , Xilin Zhou , Robert Dyro , Ruolin Li , Marco Pavone

Testing autonomous driving systems (ADS) is critical to ensuring their reliability and safety. Existing ADS testing works focuses on designing scenarios to evaluate system-level behaviors, while fine-grained testing of ADS source code has…

Software Engineering · Computer Science 2025-01-20 Wenhan Wang , Xuan Xie , Yuheng Huang , Renzhi Wang , An Ran Chen , Lei Ma

The technology for autonomous vehicles is close to replacing human drivers by artificial systems endowed with high-level decision-making capabilities. In this regard, systems must learn about the usual vehicle's behavior to predict imminent…

Image and Video Processing · Electrical Eng. & Systems 2020-04-22 Mahdyar Ravanbakhsh , Mohamad Baydoun , Damian Campo , Pablo Marin , David Martin , Lucio Marcenaro , andCarlo Regazzoni

We examine the problem of adversarial reinforcement learning for multi-agent domains including a rule-based agent. Rule-based algorithms are required in safety-critical applications for them to work properly in a wide range of situations.…

Machine Learning · Computer Science 2019-05-28 Akifumi Wachi