Liebenwein, Lucas (author), Schwarting, Wilko (author), Vasile, Cristian-Ioan (author), DeCastro, Jonathan (author), Alonso-Mora, J. (author), Karaman, Sertac (author), Rus, Daniela (author) Recent advances in autonomous driving have raised the problem of safety<br/>to the forefront and incentivized research into establishing safety guarantees. In this paper, we propose a safety verification framework as a safety standard for driving controllers with full or shared autonomy based on compositional and contract-based principles. Our...
conference paper 2017
