Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus. Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. In Nancy M. Amato, Greg Hager, Shawna L. Thomas, Miguel Torres-Torriti, editors, Robotics Research, The 18th International Symposium, ISRR 2017, Puerto Varas, Chile, December 11-14, 2017. Volume 10 of Springer Proceedings in Advanced Robotics, pages 163-181, Springer, 2017. [doi]
Abstract is missing.