rule-monitoring
None
view repo
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
Autonomous vehicles need to abide by the same rules that humans follow. ...
read it
To realize a market entry of autonomous vehicles in the foreseeable futu...
read it
We consider the problem of using reinforcement learning to train adversa...
read it
With the needs of science and business, data sharing and re-use has beco...
read it
This paper considers the problem of computing an optimal trajectory for ...
read it
We formalize Simplified Boardgames language, which describes a subclass ...
read it
We consider the pressing question of how to model, verify, and ensure th...
read it
None
Comments
There are no comments yet.