English
Related papers

Related papers: Correct-by-Construction Advanced Driver Assistance…

200 papers

Autonomous driving is a research direction that has gained enormous traction in the last few years thanks to advancements in Artificial Intelligence (AI). Depending on the level of independence from the human driver, several studies show…

Cryptography and Security · Computer Science 2024-05-15 Francesco Marchiori , Alessandro Brighente , Mauro Conti

Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to…

Software Engineering · Computer Science 2020-01-09 Naveen Mohan

Autonomous driving has shown great potential to reform modern transportation. Yet its reliability and safety have drawn a lot of attention and concerns. Compared with traditional software systems, autonomous driving systems (ADSs) often use…

Software Engineering · Computer Science 2022-09-26 Guannan Lou , Yao Deng , Xi Zheng , Mengshi Zhang , Tianyi Zhang

Automated Driving Systems (ADS), including Advanced Driver Assistance Systems (ADAS), must fulfill not only high functional expectations but also stringent timing constraints mandated by international regulations and standards. Regulatory…

Software Engineering · Computer Science 2026-05-05 Sebastian Dingler , Philip Rehkop , Florian Mayer , Ralf Muenzenberger

Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured arguments supported by evidence, but generating and maintaining…

Software Engineering · Computer Science 2026-02-04 Fang Yan , Simon Foster , Ana Cavalcanti , Ibrahim Habli , James Baxter

Advanced driving-assistance systems (ADAS) are intended to automatize driver tasks, as well as improve driving and vehicle safety. This work proposes an intelligent neuro-fuzzy sensor for driving style (DS) recognition, suitable for ADAS…

Autonomous driving systems (ADS) are increasingly deployed in real traffic, yet testing remains fundamentally challenging due to open environments, complex scenarios, and the lack of established processes and metrics. Despite extensive…

Software Engineering · Computer Science 2026-05-04 Qunying Song , Ali Nouri , Håkan Sivencrona , Federica Sarro

Automated driving system - dedicated vehicles (ADS-DVs), specially designed for people with various disabilities, can be beneficial to improve their mobility. However, research related to autonomous vehicles (AVs) for people with cognitive…

Human-Computer Interaction · Computer Science 2021-08-11 Gandhimathi Padmanaban , Nathaniel Jachim , Hala Shandi , Lilit Avetisyan , Gar-Rett Smith , Howraa Hammoud , Feng Zhou

Traffic collision reconstruction traditionally relies on human expertise and can be accurate, but pre-crash reconstruction is more challenging. This study develops a multi-agent AI framework that reconstructs pre-crash scenarios and infers…

Artificial Intelligence · Computer Science 2026-04-03 Gerui Xu , Boyou Chen , Huizhong Guo , Dave LeBlanc , Arpan Kusari , Efe Yarbasi , Ananna Ahmed , Zhaonan Sun , Shan Bao

With the introduction of autonomous technology into our society, e.g. autonomous shipping, it is important to assess and assure the safety of autonomous systems in a real-world context. Simulation-based testing is a common approach to…

Despite the continual advances in Advanced Driver Assistance Systems (ADAS) and the development of high-level autonomous vehicles (AV), there is a general consensus that for the short to medium term, there is a requirement for a human…

Robotics · Computer Science 2023-10-19 Santiago Gerling Konrad , Julie Stephany Berrio , Mao Shan , Favio Masson , Stewart Worrall

In this work, we propose a compositional data-driven approach for the formal estimation of collision risks for autonomous vehicles (AVs) while acting in a stochastic multi-agent framework. The proposed approach is based on the construction…

Systems and Control · Electrical Eng. & Systems 2022-07-21 Abolfazl Lavaei , Luigi Di Lillo , Andrea Censi , Emilio Frazzoli

Scenario-based approaches have been receiving a huge amount of attention in research and engineering of automated driving systems. Due to the complexity and uncertainty of the driving environment, and the complexity of the driving task…

The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An important aspect in the development of AVs is the assessment of their safety. New approaches need to be worked out. Among these, real-world…

Robotics · Computer Science 2020-12-03 Erwin de Gelder , Olaf Op den Camp

Verification of algorithms and data structures utilized in modern autonomous and semi-autonomous vehicles for land, sea, air, and space presents a significant challenge. Autonomy algorithms, e.g., route planning, pattern matching, and…

Logic in Computer Science · Computer Science 2018-10-11 David Hardin , Konrad Slind

Autonomous driving systems (ADS) require extensive testing and validation before deployment. However, it is tedious and time-consuming to construct traffic scenarios for ADS testing. In this paper, we propose TrafficComposer, a multi-modal…

Software Engineering · Computer Science 2025-06-26 Zhi Tu , Liangkun Niu , Wei Fan , Tianyi Zhang

In recent years, automotive technology has made a steady progress. In particular, Advanced Driver Assistance System (ADAS) has enabled many safety features in commercial vehicles, for instance, pedestrian detection, lane keeping assist,…

Systems and Control · Electrical Eng. & Systems 2022-12-26 Avinash Prabu , Lingxi Li , Brian King , Yaobin Chen

Recent advances in AI and intelligent vehicle technology hold promise to revolutionize mobility and transportation, in the form of advanced driving assistance (ADAS) interfaces. Although it is widely recognized that certain cognitive…

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

Recent developments in advanced driving assistance systems (ADAS) that rely on some level of autonomy have led the automobile industry and research community to investigate the impact they might have on driving performance. However, most of…

Human-Computer Interaction · Computer Science 2021-06-15 Walter Morales-Alvarez , Mohamed Marouf , Hadj. Hamma Tadjine , Cristina Olaverri-Monreal
‹ Prev 1 3 4 5 6 7 10 Next ›