Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus. Counterexample-Guided Safety Contracts for Autonomous Driving. In Marco Morales, Lydia Tapia, Gildardo Sánchez-Ante, Seth Hutchinson, editors, Algorithmic Foundations of Robotics XIII, Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics, WAFR 2018, Mérida, Mexico, December 9-11, 2018. Volume 14 of Springer Proceedings in Advanced Robotics, pages 939-955, Springer, 2018. [doi]
Abstract is missing.