Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.

Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus

Browse the full ISRR paper archive.