A Control Architecture for Provably-Correct Autonomous Driving.
Erfan AasiCristian Ioan VasileCalin BeltaPublished in: CoRR (2021)
Keyphrases
- control architecture
- provably correct
- autonomous driving
- grand challenge
- robotic systems
- stereo vision
- autonomous agents
- control system
- control strategy
- formal methods
- vision algorithms
- situation calculus
- shop floor
- urban traffic
- high quality
- dynamic environments
- image understanding
- real time
- vision system
- dynamic programming