Compositional and Contract-based Verification for Autonomous Driving on Road Networks

Compositional and Contract-based Verification for Autonomous Driving on Road Networks

Recent advances in autonomous driving have raised the problem of safety 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 composi...

Full description

Bibliographic Details
Main Authors: DeCastro, Jonathan (Author), Alonso-Mora, Javier (Author), Liebenwein, Lucas (Contributor), Schwarting, Wilko (Contributor), Vasile, Cristian-Ioan (Contributor), Karaman, Sertac (Contributor), Rus, Daniela L (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Department of Mechanical Engineering (Contributor), Rus, Daniela (Contributor)
Format: Article
Language:English
Published: International Foundation of Robotics Research, 2018-03-14T15:52:04Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items