Fingerprint
Dive into the research topics of 'Compositional and contract-based verification for autonomous driving on road networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Compositional and contract-based verification for autonomous driving on road networks
Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
36
Downloads
(Pure)