English
Related papers

Related papers: Toward Automated Hypervisor Scenario Generation Ba…

200 papers

We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system under test in the system specification and the behavior that…

With the rapid development of automated vehicles (AVs) in recent years, commercially available AVs are increasingly demonstrating high-level automation capabilities. However, most existing AV safety evaluation methods are primarily designed…

Robotics · Computer Science 2025-06-17 Hang Zhou , Chengyuan Ma , Shiyu Shen , Zhaohui Liang , Xiaopeng Li

A typical assumption in supervised machine learning is that the train (source) and test (target) datasets follow completely the same distribution. This assumption is, however, often violated in uncertain real-world applications, which…

Machine Learning · Computer Science 2021-08-17 Masahiro Nomura , Yuta Saito

Hyperparameter selection in continual learning scenarios is a challenging and underexplored aspect, especially in practical non-stationary environments. Traditional approaches, such as grid searches with held-out validation data from all…

Machine Learning · Computer Science 2024-06-21 Rudy Semola , Julio Hurtado , Vincenzo Lomonaco , Davide Bacciu

As the Moore's scaling era comes to an end, application specific hardware accelerators appear as an attractive way to improve the performance and power efficiency of our computing systems. A massively heterogeneous system with a large…

Operating Systems · Computer Science 2019-07-02 Kartik Hegde , Abhishek Srivastava , Rohit Agrawal

How to generate testing scenario libraries for connected and automated vehicles (CAVs) is a major challenge faced by the industry. In previous studies, to evaluate maneuver challenge of a scenario, surrogate models (SMs) are often used…

Systems and Control · Electrical Eng. & Systems 2020-09-30 Shuo Feng , Yiheng Feng , Haowei Sun , Yi Zhang , Henry X. Liu

Stress and driving are a dangerous combination which can lead to crashes, as evidenced by the large number of road traffic crashes that involve stress. Motivated by the need to address the significant costs of driver stress, it is essential…

Signal Processing · Electrical Eng. & Systems 2021-01-05 Mohammad Naim Rastgoo , Bahareh Nakisa , Andry Rakotonirainy , Frederic Maire , Vinod Chandran

Semi-autonomous driving, as it is already available today and will eventually become even more accessible, implies the need for driver and automation system to reliably work together in order to ensure safe driving. A particular challenge…

Artificial Intelligence · Computer Science 2023-08-31 Jakob Suchan , Jan-Patrick Osterloh

This paper proposes an SVM Enhanced Trajectory Planner for dynamic scenes, typically those encountered in on road settings. Frenet frame based trajectory generation is popular in the context of autonomous driving both in research and…

Robotics · Computer Science 2020-09-14 Unni Krishnan R Nair , Nivedita Rufus , Vashist Madiraju , K Madhava Krishna

Computer vision is experiencing an AI renaissance, in which machine learning models are expediting important breakthroughs in academic research and commercial applications. Effectively training these models, however, is not trivial due in…

Machine Learning · Computer Science 2018-01-23 Jeff Kinnison , Nathaniel Kremer-Herman , Douglas Thain , Walter Scheirer

Autonomous vehicles (AVs) require extensive testing in simulation, but test case generation for driving scenarios is laborious. The desired scenarios are often out-of-distribution and have precise requirements on interactions with the AV…

Robotics · Computer Science 2026-05-11 Frieda Rong , Chris Zhang , Kelvin Wong , Raquel Urtasun

Generating safety-critical driving scenarios is crucial for evaluating and improving autonomous driving systems, but long-tail risky situations are rarely observed in real-world data and difficult to specify through manual scenario design.…

Computer Vision and Pattern Recognition · Computer Science 2026-03-13 Hongyi Lin , Wenxiu Shi , Heye Huang , Dingyi Zhuang , Song Zhang , Yang Liu , Xiaobo Qu , Jinhua Zhao

The foundational role of datasets in defining the capabilities of deep learning models has led to their rapid proliferation. At the same time, published research focusing on the process of dataset development for environment perception in…

Computer Vision and Pattern Recognition · Computer Science 2025-04-15 Felix Grün , Marcus Nolte , Markus Maurer

Advanced Planning and Scheduling (APS) systems have become indispensable for modern manufacturing operations, enabling optimized resource allocation and production efficiency in increasingly complex and dynamic environments. While…

Artificial Intelligence · Computer Science 2025-10-06 Yu-Zhe Shi , Qiao Xu , Yanjia Li , Mingchen Liu , Huamin Qu , Lecheng Ruan , Qining Wang

Extracting interesting scenarios from real-world data as well as generating failure cases is important for the development and testing of autonomous systems. We propose efficient mechanisms to both characterize and generate testing…

Autoscaling is a critical mechanism in cloud computing, enabling the autonomous adjustment of computing resources in response to dynamic workloads. This is particularly valuable for co-located, long-running applications with diverse…

Optimization and Control · Mathematics 2025-02-06 Ding Zou , Wei Lu , Zhibo Zhu , Xingyu Lu , Jun Zhou , Xiaojin Wang , Kangyu Liu , Haiqing Wang , Kefan Wang , Renen Sun

This paper introduces a GenAI-empowered approach to automated development of automotive software, with emphasis on autonomous and Advanced Driver Assistance Systems (ADAS) capabilities. The process starts with requirements as input, while…

Software Engineering · Computer Science 2025-07-25 Nenad Petrovic , Fengjunjie Pan , Vahid Zolfaghari , Krzysztof Lebioda , Andre Schamschurko , Alois Knoll

Generating safety-critical scenarios is essential for testing and verifying the safety of autonomous vehicles. Traditional optimization techniques suffer from the curse of dimensionality and limit the search space to fixed parameter spaces.…

Machine Learning · Computer Science 2024-03-08 Haolan Liu , Liangjun Zhang , Siva Kumar Sastry Hari , Jishen Zhao

The growing demand for real-time processing tasks is driving the need for multi-model inference pipelines on edge devices. However, cost-effectively deploying these pipelines while optimizing Quality of Service (QoS) and costs poses…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-05 Jinhao Sheng , Zhiqing Tang , Jianxiong Guo , Tian Wang

Vision-Language Models (VLMs) excel in diverse multimodal tasks. However, user requirements vary across scenarios, which can be categorized into fast response, high-quality output, and low energy consumption. Relying solely on large models…

Machine Learning · Computer Science 2025-11-03 Xin Tang , Youfang Han , Fangfei Gou , Wei Zhao , Xin Meng , Yang Yu , Jinguo Zhang , Yuanchun Shi , Yuntao Wang , Tengxiang Zhang