A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
Albert RizaldiFabian ImmlerPublished in: Arch. Formal Proofs (2020)
Keyphrases
- autonomous vehicles
- urban traffic
- traffic light
- intelligent transportation systems
- path planning
- structured environments
- obstacle avoidance
- rule sets
- multiagent systems
- route planning
- traffic control
- decision rules
- mobile robot
- association rules
- traffic flow
- robot control
- road network
- real time
- classification rules
- complex environments
- traffic data
- fuzzy rules
- autonomous agents
- artificial neural networks
- genetic algorithm