English
Related papers

Related papers: Toward a Consistent Taxonomy for Scenario-Based De…

200 papers

While new benchmarks for large language models (LLMs) are being developed continuously to catch up with the growing capabilities of new models and AI in general, using and evaluating LLMs in non-English languages remains a little-charted…

Computation and Language · Computer Science 2025-11-05 Špela Vintar , Taja Kuzman Pungeršek , Mojca Brglez , Nikola Ljubešić

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…

Robotics · Computer Science 2014-07-02 Christian Berger

Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a…

Systems and Control · Electrical Eng. & Systems 2019-09-13 Tung Phan-Minh , Karena X. Cai , Richard M. Murray

Their highly adaptive nature and the combinatorial explosion of possible configurations makes testing context-oriented programs hard. We propose a methodology to automate the generation of test scenarios for developers of feature-based…

Software Engineering · Computer Science 2021-09-27 Pierre Martou , Kim Mens , Benoît Duhoux , Axel Legay

With the recent advances in the field of artificial intelligence, an increasing number of decision-making tasks are delegated to software systems. A key requirement for the success and adoption of such systems is that users must trust…

Artificial Intelligence · Computer Science 2020-06-17 Ingrid Nunes , Dietmar Jannach

Security-critical system requirements are increasingly enforced through mandatory access control systems. These systems are controlled by security policies, highly sensitive system components, which emphasizes the paramount importance of…

Cryptography and Security · Computer Science 2017-06-13 Peter Amthor

Establishing semantic correspondence is a challenging task in computer vision, aiming to match keypoints with the same semantic information across different images. Benefiting from the rapid development of deep learning, remarkable progress…

Computer Vision and Pattern Recognition · Computer Science 2025-05-28 Kaiyan Zhang , Xinghui Li , Jingyi Lu , Kai Han

Testing is essential for verifying and validating control designs, especially in safety-critical applications. In particular, the control system governing an automated driving vehicle must be proven reliable enough for its acceptance on the…

Systems and Control · Electrical Eng. & Systems 2023-09-11 Mengjia Zhu , Alberto Bemporad , Maximilian Kneissl , Hasan Esen

Testing autonomous vehicles (AVs) requires complex oracles to determine if the AVs behavior conforms with specifications and humans' expectations. Available open source oracles are tightly embedded in the AV simulation software and are…

Software Engineering · Computer Science 2020-06-19 Ana Nora Evans , Mary Lou Soffa , Sebastian Elbaum

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

The rapid deployment of Artificial Intelligence (AI) in critical digital infrastructure introduces significant risks, necessitating a robust framework for systematically collecting AI incident data to prevent future incidents. Existing…

Computers and Society · Computer Science 2025-03-04 Avinash Agarwal , Manisha J. Nene

Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an agent in diverse contexts comprised of varying static…

Software Engineering · Computer Science 2026-03-12 Joy Saha , Trey Woodlief , Sebastian Elbaum , Matthew B. Dwyer

Scenario-based methods for the assessment of Automated Vehicles (AVs) are widely supported by many players in the automotive field. Scenarios captured from real-world data can be used to define the scenarios for the assessment and to…

Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software…

Software Engineering · Computer Science 2019-12-30 Michael Felderer , Ina Schieferdecker

The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single…

Software Engineering · Computer Science 2021-05-04 Sangeeth Kochanthara , Niels Rood , Arash Khabbaz Saberi , Loek Cleophas , Yanja Dajsuren , Mark van den Brand

Current validation methods often rely on recorded data and basic functional checks, which may not be sufficient to encompass the scenarios an autonomous vehicle might encounter. In addition, there is a growing need for complex scenarios…

Robotics · Computer Science 2024-02-08 Marc Kaufeld , Rainer Trauth , Johannes Betz

Achieving greater autonomy in automation systems is crucial for handling unforeseen situations effectively. However, this remains challenging due to technological limitations and the complexity of real-world environments. This paper…

Computational Engineering, Finance, and Science · Computer Science 2025-07-08 Johannes Sigel , Daniel Dittler , Nasser Jazdi , Michael Weyrich

The MUSICC project has created a proof-of-concept scenario database to be used as part of a type approval process for the verification of automated driving systems (ADS). This process must include a highly automated means of evaluating test…

Robotics · Computer Science 2020-05-27 Robert Myers , Zeyn Saigol

Semantic text similarity plays an important role in software engineering tasks in which engineers are requested to clarify the semantics of descriptive labels (e.g., business terms, table column names) that are often consists of too short…

Computation and Language · Computer Science 2023-10-31 Toshihiro Takahashi , Takaaki Tateishi , Michiaki Tatsubori

Automated Vehicles (AVs) hold promise for revolutionizing transportation by improving road safety, traffic efficiency, and overall mobility. Despite the steady advancement in high-level AVs in recent years, the transition to full automation…

Robotics · Computer Science 2025-09-15 Yongqi Dong , Bart van Arem , Haneen Farah