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...
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: | |
Online Access: | Get fulltext |
Similar Items
-
Counterexample-Guided Safety Contracts for Autonomous Driving
by: DeCastro, Jonathan, et al.
Published: (2020) -
Contract-based safety verification for autonomous driving
by: Liebenwein, Lucas
Published: (2019) -
Semi-Cooperative Control for Autonomous Emergency Vehicles
by: Buckman, Noam, et al.
Published: (2022) -
Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection
by: Pierson, Alyssa, et al.
Published: (2020) -
Variational Autoencoder for End-to-End Control of Autonomous Driving with Novelty Detection and Training De-biasing
by: Amini, Alexander, et al.
Published: (2018)