中文
相关论文

相关论文: Single and Multi-objective Test Cases Prioritizati…

200 篇论文

Context: Competitions for self-driving cars facilitated the development and research in the domain of autonomous vehicles towards potential solutions for the future mobility. Objective: Miniature vehicles can bridge the gap between…

机器人学 · 计算机科学 2014-07-02 Christian Berger

Continuous Integration (CI) requires efficient regression testing to ensure software quality without significantly delaying its CI builds. This warrants the need for techniques to reduce regression testing time, such as Test Case…

软件工程 · 计算机科学 2024-10-17 Ahmadreza Saboor Yaraghi , Mojtaba Bagherzadeh , Nafiseh Kahani , Lionel Briand

Ensuring the safety of autonomous vehicles (AVs) is of utmost importance and testing them in simulated environments is a safer option than conducting in-field operational tests. However, generating an exhaustive test suite to identify…

软件工程 · 计算机科学 2023-11-30 Neelofar , Aldeida Aleti

While recent developments in autonomous vehicle (AV) technology highlight substantial progress, we lack tools for rigorous and scalable testing. Real-world testing, the $\textit{de facto}$ evaluation environment, places the public in…

机器学习 · 计算机科学 2019-01-15 Matthew O'Kelly , Aman Sinha , Hongseok Namkoong , John Duchi , Russ Tedrake

Future extreme-scale computer systems may expose silent data corruption (SDC) to applications, in order to save energy or increase performance. However, resilience research struggles to come up with useful abstract programming models for…

数学软件 · 计算机科学 2014-01-15 James Elliott , Mark Hoemmen , Frank Mueller

This paper presents a method for testing the decision making systems of autonomous vehicles. Our approach involves perturbing stochastic elements in the vehicle's environment until the vehicle is involved in a collision. Instead of applying…

机器人学 · 计算机科学 2019-02-07 Mark Koren , Saud Alsaif , Ritchie Lee , Mykel J. Kochenderfer

Software systems for safety-critical systems like self-driving cars (SDCs) need to be tested rigorously. Especially electronic control units (ECUs) of SDCs should be tested with realistic input data. In this context, a communication…

Autonomous systems with machine learning-based perception can exhibit unpredictable behaviors that are difficult to quantify, let alone verify. Such behaviors are convenient to capture in probabilistic models, but probabilistic model…

计算机科学中的逻辑 · 计算机科学 2022-03-17 Matthew Cleaveland , Ivan Ruchkin , Oleg Sokolsky , Insup Lee

Autonomous vehicles are becoming popular day by day not only for autonomous road traversal but also for industrial automation, farming and military. Most of the standard vehicles follow the Ackermann style steering mechanism. This has…

机器人学 · 计算机科学 2025-11-27 Shantanu Rahman , Nayeb Hasin , Mainul Islam , Golam Sarowar

The validation of highly automated, perception-based driving systems must ensure that they function correctly under the full range of real-world conditions. Scenario-based testing is a prominent approach to addressing this challenge, as it…

机器人学 · 计算机科学 2025-12-15 Steffen Schäfer , Martin Cichon

As a part of the digital transformation, we interact with more and more intelligent gadgets. Today, these gadgets are often mobile devices, but in the advent of smart cities, more and more infrastructure---such as traffic and buildings---in…

软件工程 · 计算机科学 2020-12-17 Francesco Concas , Jukka K. Nurminen , Tommi Mikkonen , Sasu Tarkoma

This paper presents an efficient algorithm, naming Centralized Searching and Decentralized Optimization (CSDO), to find feasible solution for large-scale Multi-Vehicle Trajectory Planning (MVTP) problem. Due to the intractable growth of…

机器人学 · 计算机科学 2024-10-24 Yibin Yang , Shaobing Xu , Xintao Yan , Junkai Jiang , Jianqiang Wang , Heye Huang

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…

软件工程 · 计算机科学 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

An important capability of autonomous multi-robot systems is to prevent collision among the individual robots. One approach to this problem is to plan conflict-free trajectories and let each of the robots follow its pre-planned trajectory.…

机器人学 · 计算机科学 2014-09-09 Michal Čáp , Peter Novák , Alexander Kleiner , Martin Selecký

This paper focuses on safety performance testing and characterization of black-box highly automated vehicles (HAV). Existing testing approaches typically obtain the testing outcomes by deploying the HAV into a specific testing environment.…

机器人学 · 计算机科学 2024-02-05 Minghao Zhu , Anmol Sidhu , Keith A. Redmill

Modern machine learning (ML) systems demand substantial training data, often resorting to external sources. Nevertheless, this practice renders them vulnerable to backdoor poisoning attacks. Prior backdoor defense strategies have primarily…

机器学习 · 计算机科学 2024-03-19 Soumyadeep Pal , Yuguang Yao , Ren Wang , Bingquan Shen , Sijia Liu

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

计算机视觉与模式识别 · 计算机科学 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

Motion planning for autonomous driving must account for multi-modal uncertainty in both the intentions and trajectories of surrounding vehicles. Handling uncertainty in a worst-case manner guarantees robustness but often leads to excessive…

机器人学 · 计算机科学 2026-05-22 Zekun Xing , Ramkrishna Chaudhari , Marion Leibold , Dirk Wollherr , Martin Buss

Image-based multi-object detection (MOD) and multi-object tracking (MOT) are advancing at a fast pace. A variety of 2D and 3D MOD and MOT methods have been developed for monocular and stereo cameras. Road safety analysis can benefit from…

计算机视觉与模式识别 · 计算机科学 2025-03-14 Qingwu Liu , Nicolas Saunier , Guillaume-Alexandre Bilodeau

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