A Control Architecture for Provably-Correct Autonomous Driving.
Erfan AasiCristian Ioan VasileCalin BeltaPublished in: ACC (2021)
Keyphrases
- provably correct
- control architecture
- autonomous driving
- grand challenge
- stereo vision
- control system
- robotic systems
- formal methods
- autonomous agents
- control strategy
- vision algorithms
- situation calculus
- urban traffic
- shop floor
- knowledge base
- vision system
- computer vision algorithms
- mobile robot
- multi agent systems
- high quality