English
Related papers

Related papers: Intersection focused Situation Coverage-based Veri…

200 papers

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

Autonomous Driving Systems (ADSs) rely on Deep Neural Networks, allowing vehicles to navigate complex, open environments. However, the unpredictability of these scenarios highlights the need for rigorous system-level testing to ensure…

Software Engineering · Computer Science 2025-05-23 Hossein Yousefizadeh , Shenghui Gu , Lionel C. Briand , Ali Nasr

We extend earlier work establishing a framework for optimally controlling Connected Automated Vehicles (CAVs) crossing a signal free intersection by jointly optimizing energy and travel time. We derive explicit optimal control solutions in…

Optimization and Control · Mathematics 2019-09-04 Yue Zhang , Christos G. Cassandras

In urban environments, the complex and uncertain intersection scenarios are challenging for autonomous driving. To ensure safety, it is crucial to develop an adaptive decision making system that can handle the interaction with other…

Robotics · Computer Science 2022-07-26 Xianqi He , Lin Yang , Chao Lu , Zirui Li , Jianwei Gong

Autonomous systems such as self-driving cars rely on sensors to perceive the surrounding world. Measures must be taken against attacks on sensors, which have been a hot topic in the last few years. For that goal one must first evaluate how…

Cryptography and Security · Computer Science 2021-03-15 Koichi Shimizu , Daisuke Suzuki , Ryo Muramatsu , Hisashi Mori , Tomoyuki Nagatsuka , Tsutomu Matsumoto

Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in…

Databases · Computer Science 2022-05-16 Christopher Harper , Greg Chance , Abanoub Ghobrial , Saquib Alam , Tony Pipe , Kerstin Eder

Autonomous vehicles (AVs) are promoted as a technology that will create a future with effortless driving and virtually no traffic accidents. AV companies claim that, when fully developed, the technology will eliminate 94% of all accidents…

Robotics · Computer Science 2021-04-15 Akhil Shetty , Mengqiao Yu , Alex Kurzhanskiy , Offer Grembek , Hamidreza Tavafoghi , Pravin Varaiya

Evaluating the safety of an autonomous vehicle (AV) depends on the behavior of surrounding agents which can be heavily influenced by factors such as environmental context and informally-defined driving etiquette. A key challenge is in…

Robotics · Computer Science 2022-10-07 Karen Leung , Sushant Veer , Edward Schmerling , Marco Pavone

An Autonomous Road Vehicle (ARV) can navigate various types of road networks using inputs such as throttle (acceleration), braking (deceleration), and steering (change of lateral direction). In most ARV driving scenarios that involve normal…

Robotics · Computer Science 2022-03-30 Evan Lowe , Levent Güvenç

Reliable collision avoidance under extreme situations remains a critical challenge for autonomous vehicles. While large language models (LLMs) offer promising reasoning capabilities, their application in safety-critical evasive maneuvers is…

Robotics · Computer Science 2025-06-12 Shiyue Zhao , Junzhi Zhang , Neda Masoud , Heye Huang , Xiaohui Hou , Chengkun He

This chapter explores the complex realm of autonomous cars, analyzing their fundamental components and operational characteristics. The initial phase of the discussion is elucidating the internal mechanics of these automobiles, encompassing…

Computational Engineering, Finance, and Science · Computer Science 2023-09-26 Md Aminul Islam , Sarah Alqahtani

Testing Automated Driving Systems (ADS) in simulation with realistic driving scenarios is important for verifying their performance. However, converting real-world driving videos into simulation scenarios is a significant challenge due to…

Computer Vision and Pattern Recognition · Computer Science 2025-01-28 Yan Miao , Georgios Fainekos , Bardh Hoxha , Hideki Okamoto , Danil Prokhorov , Sayan Mitra

Autonomous Vehicle (AV) technology has been heavily researched and sought after, yet there are no SAE Level 5 AVs available today in the marketplace. We contend that over-reliance on machine learning technology is the main reason. Use of…

Artificial Intelligence · Computer Science 2026-01-09 Keegan Kimbrell , Wang Tianhao , Feng Chen , Gopal Gupta

The interest in autonomous vehicles (AVs) for critical missions, including transportation, rescue, surveillance, reconnaissance, and mapping, is growing rapidly due to their significant safety and mobility benefits. AVs consist of complex…

Cryptography and Security · Computer Science 2025-09-23 Md Wasiul Haque , Md Erfan , Sagar Dasgupta , Md Rayhanur Rahman , Mizanur Rahman

As an emerging technology, Connected Autonomous Vehicles (CAVs) are believed to have the ability to move through intersections in a faster and safer manner, through effective Vehicle-to-Everything (V2X) communication and global observation.…

Multiagent Systems · Computer Science 2022-07-26 Guanzhou Li , Jianping Wu , Yujing He

High-speed cruising scenarios with mixed traffic greatly challenge the road safety of autonomous vehicles (AVs). Unlike existing works that only look at fundamental modules in isolation, this work enhances AV safety in mixed-traffic…

Systems and Control · Electrical Eng. & Systems 2024-04-24 Jinhao Liang , Kaidi Yang , Chaopeng Tan , Jinxiang Wang , Guodong Yin

Autonomous Vehicle (AV) requires rigorous testing in safety-critical scenarios for safety validation, yet its validation is hindered by the high cost of field testing and the lack of fidelity in current simulations for rare safety-critical…

Robotics · Computer Science 2026-05-19 Hongyi Zhao , Shuo Wang , Qijie He , Ziyuan Pu

For a foreseeable future, autonomous vehicles (AVs) will operate in traffic together with human-driven vehicles. Their planning and control systems need extensive testing, including early-stage testing in simulations where the interactions…

Robotics · Computer Science 2020-07-21 Ran Tian , Nan Li , Ilya Kolmanovsky , Yildiray Yildiz , Anouck Girard

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

Cryptography and Security · Computer Science 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam

In the current landscape of autonomous vehicle (AV) safety and security research, there are multiple isolated problems being tackled by the community at large. Due to the lack of common evaluation criteria, several important research…

‹ Prev 1 4 5 6 7 8 10 Next ›