English
Related papers

Related papers: Planning Reliability Assurance Tests for Autonomou…

200 papers

International agreements about AI development may be required to reduce catastrophic risks from advanced AI systems. However, agreements about such a high-stakes technology must be backed by verification mechanisms--processes or tools that…

Computers and Society · Computer Science 2025-06-23 Aaron Scher , Lisa Thiergart

The safe trajectory planning of intelligent and connected vehicles is a key component in autonomous driving technology. Modeling the environment risk information by field is a promising and effective approach for safe trajectory planning.…

Robotics · Computer Science 2025-07-01 Zeyu Han , Mengchi Cai , Chaoyi Chen , Qingwen Meng , Guangwei Wang , Ying Liu , Qing Xu , Jianqiang Wang , Keqiang Li

Safety and performance are key enablers for autonomous driving: on the one hand we want our autonomous vehicles (AVs) to be safe, while at the same time their performance (e.g., comfort or progression) is key to adoption. To effectively…

Robotics · Computer Science 2023-05-04 Pasquale Antonante , Sushant Veer , Karen Leung , Xinshuo Weng , Luca Carlone , Marco Pavone

One of the major impediments in deployment of Autonomous Driving Systems (ADS) is their safety and reliability. The primary reason for the complexity of testing ADS is that it operates in an open world characterized by its…

Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV…

Multiagent Systems · Computer Science 2020-08-31 Greg Chance , Abanoub Ghobrial , Severin Lemaignan , Tony Pipe , Kerstin Eder

Ensuring the functional safety of Autonomous Vehicles (AVs) requires motion planning modules that not only operate within strict real-time constraints but also maintain controllability in case of system faults. Existing safeguarding…

Robotics · Computer Science 2026-01-08 Korbinian Moller , Glenn Johannes Tungka , Lucas Jürgens , Johannes Betz

The viability of automated driving is heavily dependent on the performance of perception systems to provide real-time accurate and reliable information for robust decision-making and maneuvers. These systems must perform reliably not only…

Computer Vision and Pattern Recognition · Computer Science 2026-02-03 Apostol Vassilev , Munawar Hasan , Edward Griffor , Honglan Jin , Pavel Piliptchak , Mahima Arora , Thoshitha Gamage

This research paper delves into the field of autonomous vehicle technology, examining the vulnerabilities inherent in each component of these transformative vehicles. Autonomous vehicles (AVs) are revolutionizing transportation by…

Cryptography and Security · Computer Science 2025-05-06 Ian Alexis Wong Paz , Anuvinda Balan , Sebastian Campos , Ehud Orenstain , Sudip Dhakal

Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in society. This complexity is the core challenge in formally proving their safety conditions with AI-based black-box controllers and surrounding…

Software Engineering · Computer Science 2024-01-11 Tsutomu Kobayashi , Martin Bondu , Fuyuki Ishikawa

Pioneers of autonomous vehicles (AVs) promised to revolutionize the driving experience and driving safety. However, milestones in AVs have materialized slower than forecast. Two culprits are (1) the lack of verifiability of proposed…

Robotics · Computer Science 2023-03-14 R. Spencer Hallyburton , Shucheng Zhang , Miroslav Pajic

While automated driving is often advertised with better-than-human driving performance, this work reviews that it is nearly impossible to provide direct statistical evidence on the system level that this is actually the case. The amount of…

Machine Learning · Computer Science 2021-12-10 Hanno Gottschalk , Matthias Rottmann , Maida Saltagic

As autonomous vehicles have benefited the society, understanding the dynamic change of humans' trust during human-autonomous vehicle interaction can help to improve the safety and performance of autonomous driving. We designed and conducted…

Human-Computer Interaction · Computer Science 2019-07-19 Shili Sheng , Erfan Pakdamanian , Kyungtae Han , BaekGyu Kim , Prashant Tiwari , Inki Kim , Lu Feng

Artificial Intelligence (AI) systems are increasingly prominent in emerging smart cities, yet their reliability remains a critical concern. These systems typically operate through a sequence of interconnected functional stages, where…

Artificial Intelligence · Computer Science 2026-03-20 Fenglian Pan , Yinwei Zhang , Yili Hong , Larry Head , Jian Liu

Fully autonomous vehicles (AVs) continue to spark immense global interest, yet predictions on when they will operate safely and broadly remain heavily debated. This paper synthesizes two distinct research traditions: computational…

Multiagent Systems · Computer Science 2025-01-28 Paul Perrone

Autonomous driving systems (ADS) have been an active area of research, with the potential to deliver significant benefits to society. However, before large-scale deployment on public roads, extensive testing is necessary to validate their…

Software Engineering · Computer Science 2025-08-28 Qunying Song , He Ye , Mark Harman , Federica Sarro

The goal of autonomous vehicles is to navigate public roads safely and comfortably. To enforce safety, traditional planning approaches rely on handcrafted rules to generate trajectories. Machine learning-based systems, on the other hand,…

We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to…

Systems and Control · Computer Science 2017-09-11 Mario Gleirscher

Autonomous driving systems (ADSs) promise improved transportation efficiency and safety, yet ensuring their reliability in complex real-world environments remains a critical challenge. Effective testing is essential to validate ADS…

Computers and Society · Computer Science 2025-12-16 Yihan Liao , Jingyu Zhang , Jacky Keung , Yan Xiao , Yurou Dai

Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is…

Software Engineering · Computer Science 2018-02-26 Mario Gleirscher , Stefan Kugele

Machine learning applications frequently come with multiple diverse objectives and constraints that can change over time. Accordingly, trained models can be tuned with sets of hyper-parameters that affect their predictive behavior (e.g.,…

Machine Learning · Computer Science 2022-10-17 Bracha Laufer-Goldshtein , Adam Fisch , Regina Barzilay , Tommi Jaakkola