Formalizing Traffic Rules for Machine Interpretability

07/01/2020
by   Klemens Esterle, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/29/2020

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

Autonomous vehicles need to abide by the same rules that humans follow. ...
05/02/2019

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

To realize a market entry of autonomous vehicles in the foreseeable futu...
07/28/2021

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

Autonomous vehicles must balance a complex set of objectives. There is n...
10/30/2019

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning

We consider the problem of using reinforcement learning to train adversa...
02/07/2022

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...
11/05/2021

Adaptive Warden Strategy for Countering Network Covert Storage Channels

The detection and elimination of covert channels are performed by a netw...
06/08/2016

Simplified Boardgames

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

Code Repositories