Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, and Daniela Rus. Counterexample-Guided Safety Contracts for Autonomous Driving. In Workshop on the Algorithmic Foundations of Robotics (WAFR), pages 1–16, Merida, Mexico, December 2018. link.
Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, and Daniela Rus. Compositional and Contract-based Verification for Autonomous Driving on Road Networks. In International Symposium on Robotics Research (ISRR), Puerto Varas, Chile, December 2017.