%0 Conference Paper %1 conf/wafr/DeCastroLVTKR18 %A DeCastro, Jonathan A. %A Liebenwein, Lucas %A Vasile, Cristian Ioan %A Tedrake, Russ %A Karaman, Sertac %A Rus, Daniela %B WAFR %D 2018 %E Morales, Marco %E Tapia, Lydia %E Sánchez-Ante, Gildardo %E Hutchinson, Seth %I Springer %K dblp %P 939-955 %T Counterexample-Guided Safety Contracts for Autonomous Driving. %U http://dblp.uni-trier.de/db/conf/wafr/wafr2018.html#DeCastroLVTKR18 %V 14 %@ 978-3-030-44051-0

@inproceedings{conf/wafr/DeCastroLVTKR18, added-at = {2022-10-02T00:00:00.000+0200}, author = {DeCastro, Jonathan A. and Liebenwein, Lucas and Vasile, Cristian Ioan and Tedrake, Russ and Karaman, Sertac and Rus, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/221840225015c5569de08552e4d9b79f3/dblp}, booktitle = {WAFR}, crossref = {conf/wafr/2018}, editor = {Morales, Marco and Tapia, Lydia and Sánchez-Ante, Gildardo and Hutchinson, Seth}, ee = {https://doi.org/10.1007/978-3-030-44051-0_54}, interhash = {aa910bf8c3150a48efd7726293283356}, intrahash = {21840225015c5569de08552e4d9b79f3}, isbn = {978-3-030-44051-0}, keywords = {dblp}, pages = {939-955}, publisher = {Springer}, series = {Springer Proceedings in Advanced Robotics}, timestamp = {2024-04-09T17:26:46.000+0200}, title = {Counterexample-Guided Safety Contracts for Autonomous Driving.}, url = {http://dblp.uni-trier.de/db/conf/wafr/wafr2018.html#DeCastroLVTKR18}, volume = 14, year = 2018 }