English
Related papers

Related papers: From Particles to Perils: SVGD-Based Hazardous Sce…

200 papers

Digital testing has emerged as a key paradigm for the development and verification of autonomous maritime navigation systems, yet the availability of realistic and diverse safety-critical encounter scenarios remains limited. Existing…

Machine Learning · Computer Science 2026-03-31 Sijin Sun , Liangbin Zhao , Ming Deng , Xiuju Fu

The rise of self-driving cars (SDCs) presents important safety challenges to address in dynamic environments. While field testing is essential, current methods lack diversity in assessing critical SDC scenarios. Prior research introduced…

Software Engineering · Computer Science 2024-01-29 Timo Blattner , Christian Birchler , Timo Kehrer , Sebastiano Panichella

We develop VSD, a method for conditioning a generative model of discrete, combinatorial designs on a rare desired class by efficiently evaluating a black-box (e.g. experiment, simulation) in a batch sequential manner. We call this task…

Machine Learning · Statistics 2025-11-24 Daniel M. Steinberg , Rafael Oliveira , Cheng Soon Ong , Edwin V. Bonilla

Stress testing is an approach for evaluating the reliability of systems under extreme conditions which help reveal vulnerable scenarios that standard testing may overlook. Identifying such scenarios is of great importance in autonomous…

Robotics · Computer Science 2024-09-20 Linh Trinh , Quang-Hung Luu , Thai M. Nguyen , Hai L. Vu

Ensuring the functional correctness and safety of autonomous vehicles is a major challenge for the automotive industry. However, exhaustive physical test drives are not feasible, as billions of driven kilometers would be required to obtain…

Software Engineering · Computer Science 2021-02-09 Barbara Schuett , Thilo Braun , Stefan Otten , Eric Sax

Self-adaptation in maritime autonomous vessels (AVs) enables them to adapt their behaviors to address unexpected situations while maintaining dependability requirements. During the design of such AVs, it is crucial to understand and…

Software Engineering · Computer Science 2025-07-23 Karoline Nylænder , Aitor Arrieta , Shaukat Ali , Paolo Arcaini

Score-based generative models (SGMs) have recently emerged as a promising class of generative models. However, a fundamental limitation is that their inference is very slow due to a need for many (e.g., 2000) iterations of sequential…

Computer Vision and Pattern Recognition · Computer Science 2022-12-06 Hengyuan Ma , Li Zhang , Xiatian Zhu , Jianfeng Feng

Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions…

Software Engineering · Computer Science 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS), but its effectiveness is limited by the operational design domain (ODD) conditions available in such simulators. To address this…

Software Engineering · Computer Science 2025-03-19 Luciano Baresi , Davide Yi Xian Hu , Andrea Stocco , Paolo Tonella

This paper presents a new algorithm named spherical vector-based particle swarm optimization (SPSO) to deal with the problem of path planning for unmanned aerial vehicles (UAVs) in complicated environments subjected to multiple threats. A…

Neural and Evolutionary Computing · Computer Science 2021-04-21 Manh Duong Phung , Quang Phuc Ha

Safety validation of autonomous driving systems requires high-risk scenario coverage, clear collision semantics, executable trajectories, and attributable multi-vehicle interactions. Existing safety-critical scenario generation methods…

Robotics · Computer Science 2026-05-20 Cheng Wang , Chen Xiong , Ziwen Wang , Yuchen Zhou , Qiang Liu

We investigate the problem of finding second-order stationary points (SOSP) in differentially private (DP) stochastic non-convex optimization. Existing methods suffer from two key limitations: (i) inaccurate convergence error rate due to…

Machine Learning · Computer Science 2026-01-21 Youming Tao , Zuyuan Zhang , Dongxiao Yu , Xiuzhen Cheng , Falko Dressler , Di Wang

Surface manipulation tasks require robots to generate trajectories that comprehensively cover complex 3D surfaces while maintaining precise end-effector poses. Existing ergodic trajectory optimization (TO) methods demonstrate success in…

Robotics · Computer Science 2026-05-26 Jiayun Li , Yufeng Jin , Sangli Teng , Dejian Gong , Georgia Chalvatzaki

Advancements in Autonomous Driving Systems (ADS) have brought significant benefits, but also raised concerns regarding their safety. Virtual tests are common practices to ensure the safety of ADS because they are more efficient and safer…

Software Engineering · Computer Science 2024-05-28 Jiangnan Zhao , Dehui Du , Xing Yu , Hang Li

Recent advances in LLM based agent systems have shown promise in tackling complex, long horizon tasks. However, existing agent protocols (e.g., A2A and MCP) under specify cross entity lifecycle and context management, version tracking, and…

Artificial Intelligence · Computer Science 2026-05-20 Wentao Zhang , Zhe Zhao , Haibin Wen , Yingcheng Wu , Cankun Guo , Ming Yin , Bo An , Mengdi Wang

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

Current methods to learn controllers for autonomous vehicles (AVs) focus on behavioural cloning. Being trained only on exact historic data, the resulting agents often generalize poorly to novel scenarios. Simulators provide the opportunity…

Artificial Intelligence · Computer Science 2025-11-19 Asen Nachkov , Danda Pani Paudel , Luc Van Gool

Stochastic Model Predictive Control has proved to be an efficient method to plan trajectories in uncertain environments, e.g., for autonomous vehicles. Chance constraints ensure that the probability of collision is bounded by a predefined…

Systems and Control · Electrical Eng. & Systems 2021-05-17 Tim Brüdigam , Fulvio di Luzio , Lucia Pallottino , Dirk Wollherr , Marion Leibold

With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are…

Logic in Computer Science · Computer Science 2023-11-17 Srajan Goyal , Alberto Griggio , Jacob Kimblad , Stefano Tonetta

In the domain of autonomous vehicles (AVs), decision-making is a critical factor that significantly influences the efficacy of autonomous navigation. As the field progresses, the enhancement of decision-making capabilities in complex…

Robotics · Computer Science 2024-06-21 Jiaqi Liu , Shiyu Fang , Xuekai Liu , Lulu Guo , Peng Hang , Jian Sun
‹ Prev 1 4 5 6 7 8 10 Next ›