Counterexample-Guided Safety Contracts for Autonomous Driving

Counterexample-Guided Safety Contracts for Autonomous Driving

Ensuring the safety of autonomous vehicles is paramount for their successful deployment. However, formally verifying autonomous driving decisions systems is difficult. In this paper, we propose a frame-work for constructing a set of safety contracts that serve as design requirements for controller s...

Full description

Bibliographic Details
Main Authors: DeCastro, Jonathan (Author), Liebenwein, Lucas (Author), Vasile, Cristian-Ioan (Author), Tedrake, Russell L (Author), Karaman, Sertac (Author), Rus, Daniela L (Author)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor), Rus, Daniela (Contributor)
Format: Article
Language:English
Published: 2020-02-24T19:16:50Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items