- Title:
Safety Assessment of Autonomous Cars using Verification Techniques
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, M.; Stursberg, O.; Buss, M.
- Pages contribution:
- 4154-4159
- Book / Congress title:
- Proc. of the American Control Conference
- Year:
- 2007
- Fulltext / DOI:
- doi:10.1109/ACC.2007.4282809
- BibTeX