中文
相关论文

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

200 篇论文

Understanding novel situations in the traffic domain requires an intricate combination of domain-specific and causal commonsense knowledge. Prior work has provided sufficient perception-based modalities for traffic monitoring, in this…

计算与语言 · 计算机科学 2022-12-16 Jiarui Zhang , Filip Ilievski , Aravinda Kollaa , Jonathan Francis , Kaixin Ma , Alessandro Oltramari

Road fatalities pose significant public safety and health challenges worldwide, with pedestrians being particularly vulnerable in vehicle-pedestrian crashes due to disparities in physical and performance characteristics. This study employs…

机器学习 · 计算机科学 2025-03-25 Methusela Sulle , Judith Mwakalonge , Gurcan Comert , Saidi Siuhi , Nana Kankam Gyimah

With the rapid development of autonomous driving, the attention of academia has increasingly focused on the development of anti-collision systems in emergency scenarios, which have a crucial impact on driving safety. While numerous…

机器人学 · 计算机科学 2023-04-24 Guoying Chen , Xinyu Wang , Min Hua , Wei Liu

Traffic accidents can be studied to mitigate the risk of further events. Recent advances in machine learning have provided an alternative way to study data associated with traffic accidents. New models achieve good generalization and high…

机器学习 · 计算机科学 2025-09-05 Meghan Bibb , Pablo Rivas , Mahee Tayba

The widescale deployment of Autonomous Vehicles (AV) seems to be imminent despite many safety challenges that are yet to be resolved. It is well known that there are no universally agreed Verification and Validation (VV) methodologies to…

机器人学 · 计算机科学 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

The costs of fatalities and injuries due to traffic accident have a great impact on society. This paper presents our research to model the severity of injury resulting from traffic accidents using artificial neural networks and decision…

人工智能 · 计算机科学 2007-05-23 Miao M. Chong , Ajith Abraham , Marcin Paprzycki

Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of dangerous events, real-world testing is prohibitively expensive and unscalable.…

机器学习 · 计算机科学 2021-08-10 Aman Sinha , Matthew O'Kelly , Russ Tedrake , John Duchi

As AI systems become more advanced, companies and regulators will make difficult decisions about whether it is safe to train and deploy them. To prepare for these decisions, we investigate how developers could make a 'safety case,' which is…

计算机与社会 · 计算机科学 2024-03-20 Joshua Clymer , Nick Gabrieli , David Krueger , Thomas Larsen

Autonomous driving research currently faces data sparsity in representation of risky scenarios. Such data is both difficult to obtain ethically in the real world, and unreliable to obtain via simulation. Recent advances in virtual reality…

机器人学 · 计算机科学 2023-03-10 Laura Zheng , Julio Poveda , James Mullen , Shreelekha Revankar , Ming C. Lin

Autonomous Braking and Throttle control is key in developing safe driving systems for the future. There exists a need for autonomous vehicles to negotiate a multi-agent environment while ensuring safety and comfort. A Deep Reinforcement…

人工智能 · 计算机科学 2020-08-19 Varshit S. Dubey , Ruhshad Kasad , Karan Agrawal

Artificial intelligence systems are now deployed at scale across sectors, accompanied by a growing number of real-world incidents ranging from misinformation and cybercrime to autonomous-system failures. Databases of AI incidents index…

Density of the reachable states can help understand the risk of safety-critical systems, especially in situations when worst-case reachability is too conservative. Recent work provides a data-driven approach to compute the density…

机器人学 · 计算机科学 2022-09-19 Yue Meng , Zeng Qiu , Md Tawhid Bin Waez , Chuchu Fan

A significant barrier to deploying autonomous vehicles (AVs) on a massive scale is safety assurance. Several technical challenges arise due to the uncertain environment in which AVs operate such as road and weather conditions, errors in…

人工智能 · 计算机科学 2019-10-08 Majid Khonji , Jorge Dias , Lakmal Seneviratne

With the rapid development of urbanization, the boom of vehicle numbers has resulted in serious traffic accidents, which led to casualties and huge economic losses. The ability to predict the risk of traffic accident is important in the…

计算机与社会 · 计算机科学 2018-04-17 Honglei Ren , You Song , Jingwen Wang , Yucheng Hu , Jinzhi Lei

An open problem for autonomous driving is how to validate the safety of an autonomous vehicle in simulation. Automated testing procedures can find failures of an autonomous system but these failures may be difficult to interpret due to…

机器人学 · 计算机科学 2020-06-29 Anthony Corso , Mykel J. Kochenderfer

Reinforcement learning often uses neural networks to solve complex control tasks. However, neural networks are sensitive to input perturbations, which makes their deployment in safety-critical environments challenging. This work lifts…

机器学习 · 计算机科学 2024-08-20 Manuel Wendl , Lukas Koller , Tobias Ladner , Matthias Althoff

While reinforcement learning algorithms have had great success in the field of autonomous navigation, they cannot be straightforwardly applied to the real autonomous systems without considering the safety constraints. The later are crucial…

机器人学 · 计算机科学 2023-07-28 Brian Angulo , Gregory Gorbov , Aleksandr Panov , Konstantin Yakovlev

Robust planning in interactive scenarios requires predicting the uncertain future to make risk-aware decisions. Unfortunately, due to long-tail safety-critical events, the risk is often under-estimated by finite-sampling approximations of…

机器学习 · 计算机科学 2023-01-13 Haruki Nishimura , Jean Mercat , Blake Wulfe , Rowan McAllister , Adrien Gaidon

Road accidents significantly threaten public safety and require in-depth analysis for effective prevention and mitigation strategies. This paper focuses on predicting accidents through the examination of a comprehensive traffic dataset…

计算机与社会 · 计算机科学 2025-05-13 Dominic Parosh Yamarthi , Haripriya Raman , Shamsad Parvin

The last decade's research in artificial intelligence had a significant impact on the advance of autonomous driving. Yet, safety remains a major concern when it comes to deploying such systems in high-risk environments. The objective of…

计算机视觉与模式识别 · 计算机科学 2022-11-16 Charles Corbière