中文
相关论文

相关论文: Robustness Verification for Knowledge-Based Logic …

200 篇论文

Automated vehicles have received much attention recently, particularly the DARPA Urban Challenge vehicles, Google's self-driving cars, and various others from auto manufacturers. These vehicles have the potential to significantly reduce…

计算机与社会 · 计算机科学 2020-11-02 Noah Goodall

Autonomous vehicles often make complex decisions via machine learning-based predictive models applied to collected sensor data. While this combination of methods provides a foundation for real-time actions, self-driving behavior primarily…

机器人学 · 计算机科学 2024-04-12 Shahin Atakishiyev , Mohammad Salameh , Randy Goebel

Motor vehicle crashes remain a leading cause of injury and death worldwide, necessitating data-driven approaches to understand and mitigate crash severity. This study introduces a curated dataset of more than 3 million people involved in…

This comprehensive survey examines the integration of knowledge-based approaches in autonomous driving systems, specifically focusing on trajectory prediction and planning. We extensively analyze various methodologies for incorporating…

人工智能 · 计算机科学 2025-05-23 Kumar Manas , Adrian Paschke

Recent advances in deep reinforcement learning have demonstrated the capability of learning complex control policies from many types of environments. When learning policies for safety-critical applications, it is essential to be sensitive…

机器学习 · 计算机科学 2019-11-12 Yichuan Charlie Tang , Jian Zhang , Ruslan Salakhutdinov

In a typical traffic scenario, autonomous vehicles are required to share the road with other road participants, e.g., human driven vehicles, pedestrians, etc. To successfully navigate the traffic, a cognitive hierarchy theory such as…

系统与控制 · 电气工程与系统科学 2019-09-24 Gokul S. Sankar , Kyoungseok Han

Autonomous vehicles (AVs) can significantly promote the advances in road transport mobility in terms of safety, reliability, and decarbonization. However, ensuring safety and efficiency in interactive during within dynamic and diverse…

机器人学 · 计算机科学 2025-01-06 Zhen Tian , Zhihao Lin , Dezong Zhao , Wenjing Zhao , David Flynn , Shuja Ansari , Chongfeng Wei

Autonomous driving is a multi-agent setting where the host vehicle must apply sophisticated negotiation skills with other road users when overtaking, giving way, merging, taking left and right turns and while pushing ahead in unstructured…

人工智能 · 计算机科学 2016-10-12 Shai Shalev-Shwartz , Shaked Shammah , Amnon Shashua

Designing or learning an autonomous driving policy is undoubtedly a challenging task as the policy has to maintain its safety in all corner cases. In order to secure safety in autonomous driving, the ability to detect hazardous situations,…

Many sequential decision-making problems that are currently automated, such as those in manufacturing or recommender systems, operate in an environment where there is either little uncertainty, or zero risk of catastrophe. As companies and…

机器学习 · 计算机科学 2023-04-04 Marc Rigter

The technological and scientific challenges involved in the development of autonomous vehicles (AVs) are currently of primary interest for many automobile companies and research labs. However, human-controlled vehicles are likely to remain…

机器学习 · 计算机科学 2020-06-22 Ran Emuna , Avinoam Borowsky , Armin Biess

Situational awareness, the capacity of an AI system to recognize its own nature, understand its training and deployment context, and reason strategically about its circumstances, is widely considered among the most dangerous emergent…

人工智能 · 计算机科学 2026-03-11 Subramanyam Sahoo , Aman Chadha , Vinija Jain , Divya Chaudhary

Developing and fielding complex systems requires proof that they are reliably correct with respect to their design and operating requirements. Especially for autonomous systems which exhibit unanticipated emergent behavior, fully…

软件工程 · 计算机科学 2024-02-28 Matthew Litton , Doron Drusinsky , James Bret Michael

Cooperative autonomous driving requires traffic scene understanding from both vehicle and infrastructure perspectives. While vision-language models (VLMs) show strong general reasoning capabilities, their performance in safety-critical…

计算机视觉与模式识别 · 计算机科学 2026-04-13 Rui Gan , Junyi Ma , Pei Li , Xingyou Yang , Kai Chen , Sikai Chen , Bin Ran

Artificial Intelligence (AI) shows promising applications for the perception and planning tasks in autonomous driving (AD) due to its superior performance compared to conventional methods. However, inscrutable AI systems exacerbate the…

机器人学 · 计算机科学 2024-11-12 Anton Kuznietsov , Balint Gyevnar , Cheng Wang , Steven Peters , Stefano V. Albrecht

In the field of conditional autonomous driving technology, driver perceived risk prediction plays a crucial role in reducing traffic risks and ensuring passenger safety. This study introduces an innovative perceived risk prediction model…

人机交互 · 计算机科学 2025-03-07 Chenhao Yang , Siwei Huang , Chuan Hu

Vehicle crashes involve complex interactions between road users, split-second decisions, and challenging environmental conditions. Among these, two-vehicle crashes are the most prevalent, accounting for approximately 70% of roadway crashes…

人工智能 · 计算机科学 2025-10-16 Boyou Chen , Gerui Xu , Zifei Wang , Huizhong Guo , Ananna Ahmed , Zhaonan Sun , Zhen Hu , Kaihan Zhang , Shan Bao

The increasing use of autonomous and semi-autonomous agents in society has made it crucial to validate their safety. However, the complex scenarios in which they are used may make formal verification impossible. To address this challenge,…

系统与控制 · 电气工程与系统科学 2023-03-03 Jared J. Beard , Ali Baheri

The literature on provable robustness in machine learning has primarily focused on static prediction problems, such as image classification, in which input samples are assumed to be independent and model performance is measured as an…

机器学习 · 计算机科学 2023-03-30 Aounon Kumar , Vinu Sankar Sadasivan , Soheil Feizi

This paper explores the emerging knowledge-driven autonomous driving technologies. Our investigation highlights the limitations of current autonomous driving systems, in particular their sensitivity to data bias, difficulty in handling…