AbstractsTransportation
Symbolic models for braking systems:
| Institution: | Delft University of Technology |
|---|---|
| Department: | |
| Year: | 2015 |
| Keywords: | braking systems; autonomous vehicles; correct-by-design control synthesis; formal methods; parametric verification |
| Record ID: | 1265268 |
| Full text PDF: | http://resolver.tudelft.nl/uuid:34715e20-09a7-4d13-9ed7-8f86b330cb0d |
Abstract
