English
Related papers

Related papers: A Language for Autonomous Vehicles Testing Oracles

200 papers

Cooperative driving, enabled by communication between automated vehicle systems, promises significant benefits to fuel efficiency, road capacity, and safety over single-vehicle driver assistance systems such as adaptive cruise control…

Robotics · Computer Science 2024-05-30 Owen Burns , Hossein Maghsoumi , Yaser Fallah , Israel Charles

Artificial intelligence for autonomous driving must meet strict requirements on safety and robustness. We propose to validate machine learning models for self-driving vehicles not only with given ground truth labels, but also with…

Computer Vision and Pattern Recognition · Computer Science 2020-11-30 Laura von Rueden , Tim Wirtz , Fabian Hueger , Jan David Schneider , Christian Bauckhage

End-to-end autonomous driving has advanced significantly, offering benefits such as system simplicity and stronger driving performance in both open-loop and closed-loop settings than conventional pipelines. However, existing frameworks…

Robotics · Computer Science 2025-06-04 Wei Liu , Jiyuan Zhang , Binxiong Zheng , Yufeng Hu , Yingzhan Lin , Zengfeng Zeng

Autonomous vehicles (AVs) are being rapidly introduced into our lives. However, public misunderstanding and mistrust have become prominent issues hindering the acceptance of these driverless technologies. The primary objective of this study…

Human-Computer Interaction · Computer Science 2023-02-20 Zhijie Qiao , Helen Loeb , Venkata Gurrla , Matt Lebermann , Johannes Betz , Rahul Mangharam

The end-to-end learning ability of self-driving vehicles has achieved significant milestones over the last decade owing to rapid advances in deep learning and computer vision algorithms. However, as autonomous driving technology is a…

Computer Vision and Pattern Recognition · Computer Science 2023-07-21 Shahin Atakishiyev , Mohammad Salameh , Housam Babiker , Randy Goebel

Software testing is normally used to check the validity of a program. Test oracle performs an important role in software testing. The focus in this research is to perform class level test by introducing a testing framework. A technique is…

Software Engineering · Computer Science 2014-08-27 Munib Ahmad , Fuad Bajaber , M. Rizwan Jameel Qureshi

Vehicle computing represents a fundamental shift in how autonomous vehicles are designed and deployed, transforming them from isolated transportation systems into mobile computing platforms that support both safety-critical, real-time…

Operating Systems · Computer Science 2026-01-26 Yuxin Wang , Yuankai He , Boyang Tian , Lichen Xian , Weisong Shi

This comprehensive literature review explores the potential of Augmented Reality and Virtual Reality technologies to enhance the design and testing of autonomous vehicles. By analyzing existing research, the review aims to identify how AR…

Human-Computer Interaction · Computer Science 2024-05-01 Emanuella Ejichukwu , Lauren Tong , Gadir Hazime , Bochen Jia

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

Explanations for autonomous vehicle (AV) decisions may build trust, however, explanations can contain errors. In a simulated driving study (n = 232), we tested how AV explanation errors, driving context characteristics (perceived harm and…

Human-Computer Interaction · Computer Science 2025-01-30 Robert Kaufman , Aaron Broukhim , David Kirsh , Nadir Weibel

Game engines are increasingly used as simulation platforms by the autonomous vehicle (AV) community to develop vehicle control systems and test environments. A key requirement for simulation-based development and verification is…

Robotics · Computer Science 2022-12-09 Greg Chance , Abanoub Ghobrial , Kevin McAreavey , Severin Lemaignan , Tony Pipe , Kerstin Eder

Autonomous systems require identifying the environment and it has a long way to go before putting it safely into practice. In autonomous driving systems, the detection of obstacles and traffic lights are of importance as well as lane…

Robotics · Computer Science 2021-06-30 Namig Aliyev , Oguzhan Sezer , Mehmet Turan Guzel

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

Software Engineering · Computer Science 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

A system safety case is a compelling, comprehensible, and valid argument about the satisfaction of the safety goals of a given system operating in a given environment supported by convincing evidence. Since the publication of UL 4600 in…

Software Engineering · Computer Science 2024-04-09 Michael Wagner , Carmen Carlan

Visual Language Action (VLA) models are a multi-modal class of Artificial Intelligence (AI) systems that integrate visual perception, natural language understanding, and action planning to enable agents to interpret their environment,…

Software Engineering · Computer Science 2025-08-04 Pablo Valle , Chengjie Lu , Shaukat Ali , Aitor Arrieta

Autonomous vehicle (AV) systems rely on robust perception models as a cornerstone of safety assurance. However, objects encountered on the road exhibit a long-tailed distribution, with rare or unseen categories posing challenges to a…

Computer Vision and Pattern Recognition · Computer Science 2024-03-27 Mingfu Liang , Jong-Chyi Su , Samuel Schulter , Sparsh Garg , Shiyu Zhao , Ying Wu , Manmohan Chandraker

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

Robotics · Computer Science 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo

In this era of technological advancements, several cutting-edge techniques are being implemented to enhance Autonomous Driving (AD) systems, focusing on improving safety, efficiency, and adaptability in complex driving environments.…

Computation and Language · Computer Science 2025-02-27 Md Robiul Islam

Language models trained with a fixed vocabulary struggle to generalize to novel or out-of-vocabulary words, limiting their flexibility in handling diverse token combinations. Existing dynamic vocabulary approaches attempt to address this…

Computation and Language · Computer Science 2025-10-21 Wei Du , Nuowei Liu , Jie Wang , Jiahao Kuang , Tao Ji , Xiaoling Wang , Yuanbin Wu

API testing has increasing demands for software companies. Prior API testing tools were aware of certain types of dependencies that needed to be concise between operations and parameters. However, their approaches, which are mostly done…

Software Engineering · Computer Science 2024-07-16 Tri Le , Thien Tran , Duy Cao , Vy Le , Tien Nguyen , Vu Nguyen