中文
相关论文

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

200 篇论文

In deep learning applications, robustness measures the ability of neural models that handle slight changes in input data, which could lead to potential safety hazards, especially in safety-critical applications. Pre-deployment assessment of…

软件工程 · 计算机科学 2024-04-26 Wenchuan Mu , Kwan Hui Lim

Safety on roads is of uttermost importance, especially in the context of autonomous vehicles. A critical need is to detect and communicate disruptive incidents early and effectively. In this paper we propose a system based on an…

计算机视觉与模式识别 · 计算机科学 2022-03-24 Alex Levering , Martin Tomko , Devis Tuia , Kourosh Khoshelham

In this paper, we propose a data-driven robust safety verification framework for stochastic dynamical systems modeled as Markov decision processes with time-varying and uncertain transition probabilities. Rather than assuming access to the…

系统与控制 · 电气工程与系统科学 2025-12-09 Abhijit Mazumdar , Manuela L. Bujorianu , Rafal Wisniewski

Ethical dilemmas are a common challenge in everyday driving, requiring human drivers to balance competing priorities such as safety, efficiency, and rule compliance. However, much of the existing research in automated vehicles (AVs) has…

系统与控制 · 电气工程与系统科学 2025-08-01 Lucas Elbert Suryana , Saeed Rahmani , Simeon Craig Calvert , Arkady Zgonnikov , Bart van Arem

Intelligent Traffic Monitoring (ITMo) technologies hold the potential for improving road safety/security and for enabling smart city infrastructure. Understanding traffic situations requires a complex fusion of perceptual information with…

计算与语言 · 计算机科学 2023-07-18 Jiarui Zhang , Filip Ilievski , Kaixin Ma , Aravinda Kollaa , Jonathan Francis , Alessandro Oltramari

Autonomous robots deployed in mass casualty incidents (MCI) face the challenge of making critical decisions based on incomplete and noisy perceptual data. We present an autonomous robotic system for casualty assessment that fuses outputs…

机器人学 · 计算机科学 2026-04-24 Szymon Rusiecki , Cecilia Morales , Pia Störy , Kimberly Elenberg , Leonard Weiss , Artur Dubrawski

Autonomous Vehicles (AV) are expected to bring considerable benefits to society, such as traffic optimization and accidents reduction. They rely heavily on advances in many Artificial Intelligence (AI) approaches and techniques. However,…

Every maneuver of a vehicle redistributes risks between road users. While human drivers do this intuitively, autonomous vehicles allow and require deliberative algorithmic risk management. But how should traffic risks be distributed among…

计算机与社会 · 计算机科学 2025-01-10 Sebastian Krügel , Matthias Uhl

The increasing adoption of Reinforcement Learning in safety-critical systems domains such as autonomous vehicles, health, and aviation raises the need for ensuring their safety. Existing safety mechanisms such as adversarial training,…

机器学习 · 计算机科学 2021-11-11 Paulina Stevia Nouwou Mindom , Amin Nikanjam , Foutse Khomh , John Mullins

Driving is an intuitive task that requires skills, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans focusing on the entire task for prolonged periods, and sophisticated…

人工智能 · 计算机科学 2021-09-13 Scott McLachlan , Martin Neil , Kudakwashe Dube , Ronny Bogani , Norman Fenton , Burkhard Schaffer

In this paper we criticize the robustness measure traditionally employed to assess the performance of machine learning models deployed in adversarial settings. To mitigate the limitations of robustness, we introduce a new measure called…

机器学习 · 计算机科学 2021-12-07 Stefano Calzavara , Lorenzo Cazzaro , Claudio Lucchese , Federico Marcuzzi , Salvatore Orlando

Humans are experts in making decisions for challenging driving tasks with uncertainties. Many efforts have been made to model the decision-making process of human drivers at the behavior level. However, limited studies explain how human…

机器人学 · 计算机科学 2022-10-18 Huanjie Wang , Haibin Liu , Wenshuo Wang , Lijun Sun

This paper proposes a robust control design method using reinforcement-learning for controlling partially-unknown dynamical systems under uncertain conditions. The method extends the optimal reinforcement-learning algorithm with a new…

系统与控制 · 电气工程与系统科学 2020-04-17 Phuong D. Ngo , Fred Godtliebsen

Recognition of the surrounding environment using a camera is an important technology in Advanced Driver-Assistance Systems and Autonomous Driving, and recognition technology is often solved by machine learning approaches such as deep…

计算机视觉与模式识别 · 计算机科学 2022-04-28 Genya Ogawa , Toru Saito , Noriyuki Aoi

Unfortunately, many people die in car accidents. To reduce these accidents, cars are equipped with driving safety systems. With autonomous vehicles, the driver's behavior becomes irrelevant as the car drives autonomously. All autonomous…

机器人学 · 计算机科学 2023-06-01 Nico Schick

Robustness of decision rules to shifts in the data-generating process is crucial to the successful deployment of decision-making systems. Such shifts can be viewed as interventions on a causal graph, which capture (possibly hypothetical)…

人工智能 · 计算机科学 2021-05-20 Benjie Wang , Clare Lyle , Marta Kwiatkowska

Foundation models, including vision language models, are increasingly used in automated driving to interpret scenes, recommend actions, and generate natural language explanations. However, existing evaluation methods primarily assess…

In this work, we propose an approach for ensuring the safety of vehicles passing through an intelligent intersection. There are many proposals for the design of intelligent intersections that introduce central decision-makers to…

系统与控制 · 电气工程与系统科学 2024-05-21 Kaj Munhoz Arfvidsson , Frank J. Jiang , Karl H. Johansson , Jonas Mårtensson

Reinforcement learning (RL) in autonomous driving employs a trial-and-error mechanism, enhancing robustness in unpredictable environments. However, crafting effective reward functions remains challenging, as conventional approaches rely…

机器学习 · 计算机科学 2025-06-02 Yongming Chen , Miner Chen , Liewen Liao , Mingyang Jiang , Xiang Zuo , Hengrui Zhang , Yuchen Xi , Songan Zhang

Safety and responsibility evaluations of advanced AI models are a critical but developing field of research and practice. In the development of Google DeepMind's advanced AI models, we innovated on and applied a broad set of approaches to…