Login / Signup

Counterexample-Guided Safety Contracts for Autonomous Driving.

Jonathan A. DeCastroLucas LiebenweinCristian Ioan VasileRuss TedrakeSertac KaramanDaniela Rus
Published in: WAFR (2018)
Keyphrases
  • autonomous driving
  • grand challenge
  • stereo vision
  • vision algorithms
  • supply chain
  • model checking
  • urban traffic
  • reinforcement learning