Crossmark

Counterexample-Guided Safety Contracts for Autonomous Driving

Crossref DOI link: https://doi.org/10.1007/978-3-030-44051-0_54

Published Online: 2020-05-08

Published Print: 2020

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

DeCastro, Jonathan

Liebenwein, Lucas

Vasile, Cristian-Ioan

Tedrake, Russ

Karaman, Sertac

Rus, Daniela
License Information

Text and Data Mining valid from 2020-01-01
More Information

Chapter History

First Online: 8 May 2020

Conference Information

Conference Acronym: WAFR

Conference Name: International Workshop on the Algorithmic Foundations of Robotics

Conference City: Merida

Conference Country: Mexico

Conference Year: 2018

Conference Start Date: 9 December 2018

Conference End Date: 11 December 2018

Conference Number: 13

Conference ID: wafr2018

Conference URL: https://parasol.tamu.edu/wafr/wafr2018/