A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
Albert RizaldiFabian ImmlerMatthias AlthoffPublished in: NFM (2016)
Keyphrases
- autonomous vehicles
- urban traffic
- traffic light
- intelligent transportation systems
- structured environments
- obstacle avoidance
- traffic control
- path planning
- real time
- association rules
- route planning
- traffic flow
- rule sets
- decision rules
- robot control
- network traffic
- classification rules
- complex environments
- traffic congestion
- multiagent systems
- mobile robot