A survey on automated driving system testing: Landscapes and trends

S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo… - ACM Transactions on …, 2023 - dl.acm.org
Automated Driving Systems (ADS) have made great achievements in recent years thanks to
the efforts from both academia and industry. A typical ADS is composed of multiple modules …

Formalization of intersection traffic rules in temporal logic

S Maierhofer, P Moosbrugger… - 2022 IEEE Intelligent …, 2022 - ieeexplore.ieee.org
Intersections are difficult to navigate for both human drivers and autonomous vehicles
because several diverse traffic rules must be considered. In addition, current traffic rules are …

Rule-compliant trajectory repairing using satisfiability modulo theories

Y Lin, M Althoff - 2022 IEEE Intelligent Vehicles Symposium (IV), 2022 - ieeexplore.ieee.org
Autonomous vehicles must comply with traffic rules. However, most motion planners do not
explicitly consider all relevant traffic rules. Once traffic rule violations of an initially-planned …

A matched case-control analysis of autonomous vs human-driven vehicle accidents

M Abdel-Aty, S Ding - Nature Communications, 2024 - nature.com
Despite the recent advancements that Autonomous Vehicles have shown in their potential to
improve safety and operation, considering differences between Autonomous Vehicles and …

Receding horizon planning with rule hierarchies for autonomous vehicles

S Veer, K Leung, RK Cosner, Y Chen… - … on Robotics and …, 2023 - ieeexplore.ieee.org
Autonomous vehicles must often contend with conflicting planning requirements, eg, safety
and comfort could be at odds with each other if avoiding a collision calls for slamming the …

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing

S Tang, Z Zhang, J Zhou, Y Zhou… - 2023 IEEE 34th …, 2023 - ieeexplore.ieee.org
Autonomous Driving Systems (ADS) are safety-critical and require comprehensive testing
before their deployment on public roads. Most existing testing approaches consist in …

Using Continuous Integration Techniques in Open Source Projects–An Exploratory Study

MR Wróbel, J Szymukowicz, P Weichbroth - IEEE Access, 2023 - ieeexplore.ieee.org
For a growing number of software projects, continuous integration (CI) techniques are
becoming an essential part of the process. However, the maturity of their adoption in open …

[PDF][PDF] Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions.

K Manas, A Paschke - ICLP Workshops, 2023 - ceur-ws.org
Autonomous driving (AD) systems need to obey traffic rules and sometimes execute critical
maneuvers that breach existing rules to ensure safe and rule-compliant driving. To endow …

Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle

K Manas, A Paschke - International Joint Conference on Rules and …, 2023 - Springer
This paper proposes a novel pipeline to translate natural language rules and instructions for
intelligent vehicles into temporal logic. The pipeline uses semantic role labeling (SRL), soft …

Responsible automatically processable regulation

C Guitton, S Mayer, A Tamo-Larrieux, D Van Landuyt… - AI & SOCIETY, 2024 - Springer
Driven by the increasing availability and deployment of ubiquitous computing technologies
across our private and professional lives, implementations of automatically processable …