Login / Signup
Counterexample-Guided Safety Contracts for Autonomous Driving.
Jonathan A. DeCastro
Lucas Liebenwein
Cristian Ioan Vasile
Russ Tedrake
Sertac Karaman
Daniela Rus
Published in:
WAFR (2018)
Keyphrases
</>
autonomous driving
grand challenge
stereo vision
vision algorithms
supply chain
model checking
urban traffic
reinforcement learning