@conference{DcLiVaTeKaRu-WAFR-2018,
    author    = {DeCastro, Jonathan A. and Liebenwein, Lucas and Vasile, Cristian Ioan and Tedrake, Russ and Karaman, Sertac and Rus, Daniela},
    title     = {{Counterexample-Guided Safety Contracts for Autonomous Driving}},
    booktitle = {Workshop on the Algorithmic Foundations of Robotics (WAFR)},
    pages     = {1--16},
    month     = {December},
    address   = {Merida, Mexico},
    year      = {2018},
    note      = {\href{http://algorithmic-robotics.org/wafr2018/ppr_files/WAFR_2018_paper_57.pdf}{link}}
}