@conference{LiScVaDeAlSeRu-ISRR-2017,
    author    = {Liebenwein, Lucas and Schwarting, Wilko and Vasile, Cristian Ioan and DeCastro, Jonathan and Alonso-Mora, Javier and Karaman, Sertac and Rus, Daniela},
    title     = {{Compositional and Contract-based Verification for Autonomous Driving on Road Networks}},
    booktitle = {International Symposium on Robotics Research (ISRR)},
    pages     = {163--181},
    month     = {December},
    address   = {Puerto Varas, Chile},
    year      = {2017},
    note      = {\href{https://link.springer.com/chapter/10.1007/978-3-030-28619-4_18}{doi:10.1007/978-3-030-28619-4\_18}}
}