English
Related papers

Related papers: Complete Agent-driven Model-based System Testing f…

200 papers

Open-source software for cyber-physical systems (CPS) often lacks robust testing involving robotic platforms, resulting in critical errors that remain undetected. This is especially challenging when multiple modules of CPS software are…

Robotics · Computer Science 2026-04-14 Aditya A. Krishnan , Donghoon Kim , Hokeun Kim

Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications where their behaviour may cause harm, such as when used for…

Software Engineering · Computer Science 2022-08-02 Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson , John McDermid , Ibrahim Habli

This comprehensive literature review explores the potential of Augmented Reality and Virtual Reality technologies to enhance the design and testing of autonomous vehicles. By analyzing existing research, the review aims to identify how AR…

Human-Computer Interaction · Computer Science 2024-05-01 Emanuella Ejichukwu , Lauren Tong , Gadir Hazime , Bochen Jia

Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely…

Robotics · Computer Science 2021-12-20 J. Ploeg , E. de Gelder , M. Slavík , E. Querner , T. Webster , N. de Boer

Scenario-based testing has emerged as a common method for autonomous vehicles (AVs) safety assessment, offering a more efficient alternative to mile-based testing by focusing on high-risk scenarios. However, fundamental questions persist…

Software Engineering · Computer Science 2025-07-17 Xingyu Zhao , Robab Aghazadeh-Chakherlou , Chih-Hong Cheng , Peter Popov , Lorenzo Strigini

Penetration testing is a vital practice for identifying and mitigating vulnerabilities in cybersecurity systems, but its manual execution is labor-intensive and time-consuming. Existing large language model (LLM)-assisted or automated…

Software Engineering · Computer Science 2025-01-24 He Kong , Die Hu , Jingguo Ge , Liangxiong Li , Tong Li , Bingzhen Wu

If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are suitable for this domain. Model checking is a formal…

Robotics · Computer Science 2016-09-02 Murray L. Ireland , Ruth Hoffmann , Alice Miller , Gethin Norman , Sandor M. Veres

Large language model-driven multi-agent systems (LLM-MAS) excel at complex tasks, yet unreliable agents remain a key bottleneck to system-level reliability. Automatic failure attribution is therefore critical, but existing approaches, such…

Computation and Language · Computer Science 2026-05-19 Hezhe Qiao , Hanghang Tong , Ee-Peng Lim , Bing Liu , Guansong Pang

Automatic testing of mobile applications has been a well-researched area in recent years. However, testing in industry is still a very manual practice, as research results have not been fully transferred and adopted. Considering mobile…

Software Engineering · Computer Science 2020-08-21 Stefan Karlsson , Adnan Čaušević , Daniel Sundmark , Mårten Larsson

The way of analyzing, designing and building of real-time projects has been changed due to the rapid growth of internet, mobile technologies and intelligent applications. Most of these applications are intelligent, tiny and distributed…

Multiagent Systems · Computer Science 2011-08-03 Venkatesh. M , K. Kumar , Srinivas. V

Before introducing an Automated Driving System (ADS) on the road at scale, the manufacturer must conduct some sort of safety assurance. To structure and harmonize the safety assurance process, the UNECE WP.29 Working Party on…

Robotics · Computer Science 2025-07-31 Olaf Op den Camp , Erwin de Gelder

The rapid growth in terms of the availability of transportation data provides great potential for the introduction of emerging data-driven methodologies into transportation-related research and development efforts. However, advanced…

Physics and Society · Physics 2024-06-25 Zilin Bian , Dachuan Zuo , Jingqin Gao , Kaan Ozbay , Matthew D. Maggio

When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reachability analysis, a method of safety verification, offers…

Systems and Control · Electrical Eng. & Systems 2025-12-05 Lingxiang Fan , Linxuan He , Haoyuan Ji , Shuo Feng

The rapid development of artificial intelligence, especially deep learning technology, has advanced autonomous driving systems (ADSs) by providing precise control decisions to counterpart almost any driving event, spanning from anti-fatigue…

Machine Learning · Computer Science 2021-04-13 Yao Deng , Tiehua Zhang , Guannan Lou , Xi Zheng , Jiong Jin , Qing-Long Han

Complex scheduling problems require a large amount computation power and innovative solution methods. The objective of this paper is the conception and implementation of a multi-agent system that is applicable in various problem domains.…

Multiagent Systems · Computer Science 2020-04-21 Peter Hillmann , Tobias Uhlig , Gabi Dreo Rodosek , Oliver Rose

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…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such systems to operate with the highest possible level of fault…

Software Engineering · Computer Science 2021-10-20 Jonas Fritzsch , Tobias Schmid , Stefan Wagner

Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for…

Cryptography and Security · Computer Science 2021-09-07 Stefan Marksteiner , Peter Priller

Self-driving technology is expected to revolutionize different sectors and is seen as the natural evolution of road vehicles. In the last years, real-world validation of designed and virtually tested solutions is growing in importance since…

Robotics · Computer Science 2022-02-15 Stefano Arrigoni , Simone Mentasti , Federico Cheli , Matteo Matteucci , Francesco Braghin

The rapid rise of autonomous AI systems and advancements in agent capabilities are introducing new risks due to reduced oversight of real-world interactions. Yet agent testing remains nascent and is still a developing science. As AI agents…

‹ Prev 1 8 9 10 Next ›