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]
@inproceedings{LiebenweinSVDAK17,
title = {Compositional and Contract-Based Verification for Autonomous Driving on Road Networks},
author = {Lucas Liebenwein and Wilko Schwarting and Cristian Ioan Vasile and Jonathan A. DeCastro and Javier Alonso-Mora and Sertac Karaman and Daniela Rus},
year = {2017},
doi = {10.1007/978-3-030-28619-4_18},
url = {https://doi.org/10.1007/978-3-030-28619-4_18},
researchr = {https://researchr.org/publication/LiebenweinSVDAK17},
cites = {0},
citedby = {0},
pages = {163-181},
booktitle = {Robotics Research, The 18th International Symposium, ISRR 2017, Puerto Varas, Chile, December 11-14, 2017},
editor = {Nancy M. Amato and Greg Hager and Shawna L. Thomas and Miguel Torres-Torriti},
volume = {10},
series = {Springer Proceedings in Advanced Robotics},
publisher = {Springer},
isbn = {978-3-030-28619-4},
}