Formalizing Traffic Rules for Machine Interpretability

by   Klemens Esterle, et al.

Autonomous vehicles need to be designed to abide by the same rules that humans follow. This is challenging, as traffic rules are fuzzy and not specified at a level of detail to be comprehensible for machines. Without proper formalization, satisfaction cannot be implemented in a planning component, nor can it be monitored and verified during simulation or testing. However, no work has provided a complete set of machine-interpretable traffic rules for a given operational driving domain. We propose a methodology on how to legally analyze and formalize traffic rules in a formal language. We use Linear Temporal Logic as a formal specification language to describe temporal behavior, thus capable of capturing a wide range of traffic rules. We contribute a formalized set of traffic rules for single-direction carriageways, such as on highways. We then test the effectiveness of our formalized rules on a public dataset.


page 1

page 2

page 3

page 4


Modeling and Testing Multi-Agent Traffic Rules within Interactive Behavior Planning

Autonomous vehicles need to abide by the same rules that humans follow. ...

From Specifications to Behavior: Maneuver Verification in a Semantic State Space

To realize a market entry of autonomous vehicles in the foreseeable futu...

The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior

Autonomous vehicles must balance a complex set of objectives. There is n...

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning

We consider the problem of using reinforcement learning to train adversa...

Quantification of Actual Road User Behavior on the Basis of Given Traffic Rules

Driving on roads is restricted by various traffic rules, aiming to ensur...

Adaptive Warden Strategy for Countering Network Covert Storage Channels

The detection and elimination of covert channels are performed by a netw...

Simplified Boardgames

We formalize Simplified Boardgames language, which describes a subclass ...

Code Repositories