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.
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, and Abraham P. Vinod. ARCH-COMP18 Category Report: Stochastic Modelling. In ADHS Applied Verification for Continuous and Hybrid Systems (ARCH) Workshop, pages 71–103, Oxford, UK, July 2018. doi:10.29007/7ks7.
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.