English
Related papers

Related papers: Towards a Digital Highway Code using Formal Modell…

200 papers

Widespread adoption of self-driving cars will depend not only on their safety but largely on their ability to interact with human users. Just like human drivers, self-driving cars will be expected to understand and safely follow…

Robotics · Computer Science 2019-10-18 Junha Roh , Chris Paxton , Andrzej Pronobis , Ali Farhadi , Dieter Fox

The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment of such convoluted models. For safety-critical tasks in…

Systems and Control · Electrical Eng. & Systems 2024-09-18 Aditya Parameshwaran , Yue Wang

The engineering community currently encounters significant challenges in the systematic development and validation of autonomy algorithms for off-road ground vehicles. These challenges are posed by unusually high test parameters and…

We develop optimal control strategies for autonomous vehicles (AVs) that are required to meet complex specifications imposed as rules of the road (ROTR) and locally specific cultural expectations of reasonable driving behavior. We formulate…

This work gives introduction to traffic control by connected automated vehicles. The influence of vehicle control on vehicular traffic and traffic control strategies are discussed and compared. It is highlighted that vehicle-to-everything…

Systems and Control · Electrical Eng. & Systems 2022-11-21 Tamas G. Molnar , Michael Hopka , Devesh Upadhyay , Michiel Van Nieuwstadt , Gabor Orosz

Road traffic accidents pose a significant global public health concern, leading to injuries, fatalities, and vehicle damage. Approximately 1,3 million people lose their lives daily due to traffic accidents [World Health Organization, 2022].…

Computer Vision and Pattern Recognition · Computer Science 2023-11-29 Dila Dede , Mehmet Ali Sarsıl , Ata Shaker , Olgu Altıntaş , Onur Ergen

The objective of the first CARLA autonomous driving challenge was to deploy autonomous driving systems to lead with complex traffic scenarios where all participants faced the same challenging traffic situations. According to the organizers,…

In this paper we show how rule-based decision making can be combined with traditional motion planning techniques to achieve human-like behavior of a self-driving vehicle in complex traffic situations. We give and discuss examples of…

Robotics · Computer Science 2023-08-03 Stanislav Kikot

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…

Software Engineering · Computer Science 2020-12-17 Francesco Concas , Jukka K. Nurminen , Tommi Mikkonen , Sasu Tarkoma

Autonomous vehicles (AVs), possibly using Multi-Agent Reinforcement Learning (MARL) for simultaneous route optimization, may destabilize traffic networks, with human drivers potentially experiencing longer travel times. We study this…

Multiagent Systems · Computer Science 2025-06-17 Anastasia Psarou , Ahmet Onur Akman , Łukasz Gorczyca , Michał Hoffmann , Grzegorz Jamróz , Rafał Kucharski

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

The rapid development of autonomous vehicles (AVs) holds vast potential for transportation systems through improved safety, efficiency, and access to mobility. However, the progression of these impacts, as AVs are adopted, is not well…

Artificial Intelligence · Computer Science 2022-01-03 Cathy Wu , Aboudy Kreidieh , Kanaad Parvate , Eugene Vinitsky , Alexandre M Bayen

Autonomous systems -- such as self-driving cars, autonomous drones, and automated trains -- must come with strong safety guarantees. Over the past decade, techniques based on formal methods have enjoyed some success in providing strong…

Software Engineering · Computer Science 2020-06-17 Nathan Fulton , Nathan Hunt , Nghia Hoang , Subhro Das

Most autonomous cars rely on the availability of high-definition (HD) maps. Current research aims to address this constraint by directly predicting HD map elements from onboard sensors and reasoning about the relationships between the…

Computer Vision and Pattern Recognition · Computer Science 2025-07-29 Khanh Son Pham , Christian Witte , Jens Behley , Johannes Betz , Cyrill Stachniss

Modern vehicles become increasingly digitalized with advanced information technology-based solutions like advanced driving assistance systems and vehicle-to-x communications. These systems are complex and interconnected. Rising complexity…

Understanding and adhering to traffic regulations is essential for autonomous vehicles to ensure safety and trustworthiness. However, traffic regulations are complex, context-dependent, and differ between regions, posing a major challenge…

Artificial Intelligence · Computer Science 2025-11-20 Tianhui Cai , Yifan Liu , Zewei Zhou , Haoxuan Ma , Seth Z. Zhao , Zhiwen Wu , Xu Han , Zhiyu Huang , Jiaqi Ma

A Technical Reference for Autonomous Vehicles (AVs), with part 1 focusing on basic behaviour guidelines (TR68-1) is published with the intent to be a reference for evaluation of appropriated behaviour on Autonomous Vehicles for Singapore.…

Robotics · Computer Science 2023-12-19 Ana Isabel Garcia Guerra , Teng Sung Shiuan , Paul Hibbard , Yap Jing Yew , Yeo Teck Beng

Real-world autonomous driving must adhere to complex human social rules that extend beyond legally codified traffic regulations. Many of these semantic constraints, such as yielding to emergency vehicles, complying with traffic officers'…

Robotics · Computer Science 2026-01-06 Qian Cheng , Weitao Zhou , Cheng Jing , Nanshan Deng , Junze Wen , Zhaoyang Liu , Kun Jiang , Diange Yang

One of the primary challenges in urban autonomous vehicle decision-making and planning lies in effectively managing intricate interactions with diverse traffic participants characterized by unpredictable movement patterns. Additionally,…

Multiagent Systems · Computer Science 2025-05-19 Keqi Shu , Minghao Ning , Ahmad Alghooneh , Shen Li , Mohammad Pirani , Amir Khajepour

The technology in the area of automated vehicles is gaining speed and promises many advantages. However, with the recent introduction of conditionally automated driving, we have also seen accidents. Test protocols for both, conditionally…

Software Engineering · Computer Science 2017-08-24 Alessia Knauss , Jan Schröder , Christian Berger , Henrik Eriksson