Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/wafr/DeCastroLVTKR18
@inproceedings{DBLP:conf/wafr/DeCastroLVTKR18, author = {Jonathan A. DeCastro and Lucas Liebenwein and Cristian Ioan Vasile and Russ Tedrake and Sertac Karaman and Daniela Rus}, editor = {Marco Morales and Lydia Tapia and Gildardo S{\'{a}}nchez{-}Ante and Seth Hutchinson}, title = {Counterexample-Guided Safety Contracts for Autonomous Driving}, booktitle = {Algorithmic Foundations of Robotics XIII, Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2018, M{\'{e}}rida, Mexico, December 9-11, 2018}, series = {Springer Proceedings in Advanced Robotics}, volume = {14}, pages = {939--955}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-44051-0\_54}, doi = {10.1007/978-3-030-44051-0\_54}, timestamp = {Sun, 02 Oct 2022 16:17:15 +0200}, biburl = {https://dblp.org/rec/conf/wafr/DeCastroLVTKR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.