Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …
systems. By employing mathematically rigorous techniques, formal methods can provide …
Online legal driving behavior monitoring for self-driving vehicles
Defined traffic laws must be respected by all vehicles when driving on the road, including
self-driving vehicles without human drivers. Nevertheless, the ambiguity of human-oriented …
self-driving vehicles without human drivers. Nevertheless, the ambiguity of human-oriented …
Safe Reinforcement Learning for Automated Vehicles via Online Reachability Analysis
X Wang, M Althoff - IEEE Transactions on Intelligent Vehicles, 2023 - ieeexplore.ieee.org
Ensuring safe and capable motion planning is paramount for automated vehicles.
Traditional methods are limited in their ability to handle complex and unpredictable traffic …
Traditional methods are limited in their ability to handle complex and unpredictable traffic …
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models
Motion planners are essential for the safe operation of automated vehicles across various
scenarios. However, no motion planning algorithm has achieved perfection in the literature …
scenarios. However, no motion planning algorithm has achieved perfection in the literature …
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic
M Hekmatnejad, B Hoxha… - … Journal of Robotics …, 2024 - journals.sagepub.com
Automated vehicles (AV) heavily depend on robust perception systems. Current methods for
evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation …
evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation …
Model predictive robustness of signal temporal logic predicates
The robustness of signal temporal logic not only assesses whether a signal adheres to a
specification but also provides a measure of how much a formula is fulfilled or violated. The …
specification but also provides a measure of how much a formula is fulfilled or violated. The …
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
H Krasowski, M Althoff - IEEE Transactions on Intelligent …, 2024 - ieeexplore.ieee.org
For safe operation, autonomous vehicles have to obey traffic rules that are set forth in legal
documents formulated in natural language. Temporal logic is a suitable concept to formalize …
documents formulated in natural language. Temporal logic is a suitable concept to formalize …
[PDF][PDF] Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
F Lercher, M Althoff - 35th IEEE Intelligent Vehicles …, 2024 - mediatum.ub.tum.de
Compliance with the rules of the road is crucial for the safe operation of autonomous
vehicles. Previous work has shown that one can expedite rule-compliant motion planning by …
vehicles. Previous work has shown that one can expedite rule-compliant motion planning by …
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
Automated driving functions are among the most critical software components to develop.
Before deployment in series vehicles, it has to be shown that the functions drive safely and …
Before deployment in series vehicles, it has to be shown that the functions drive safely and …
MSI-A: an energy efficient approximated cache coherence protocol
Energy consumption has become an essential factor in designing modern computer system
architecture. Because of physical limits, the termination of Moore's law and Dennard's …
architecture. Because of physical limits, the termination of Moore's law and Dennard's …