Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.
Albert RizaldiJonas KeinholzMonika HuberJochen FeldleFabian ImmlerMatthias AlthoffEric HilgendorfTobias NipkowPublished in: IFM (2017)
Keyphrases
- autonomous vehicles
- theorem prover
- natural deduction
- traffic light
- urban traffic
- intelligent transportation systems
- real time
- path planning
- structured environments
- cut elimination
- obstacle avoidance
- multiagent systems
- route planning
- traffic control
- inference rules
- theorem proving
- traffic flow
- traffic management
- rule sets
- network traffic
- association rules
- mobile robot
- learning algorithm
- neural network