Counterexample-Guided Safety Contracts for Autonomous Driving.

Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus

Browse the full WAFR paper archive.