Contract-based safety verification for autonomous driving
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.
Main Author: | Liebenwein, Lucas |
---|---|
Other Authors: | Daniela Rus. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2019
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/120366 |
Similar Items
-
Compositional and Contract-based Verification for Autonomous Driving on Road Networks
by: DeCastro, Jonathan, et al.
Published: (2018) -
Counterexample-Guided Safety Contracts for Autonomous Driving
by: DeCastro, Jonathan, et al.
Published: (2020) -
Simulation and verification of autonomous route planning behavior
by: Kochhar, Amrik S
Published: (2011) -
Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009) -
Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)