- Titel:
Safety Assessment of Autonomous Cars using Verification Techniques
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Stursberg, O.; Buss, M.
- Seitenangaben Beitrag:
- 4154-4159
- Kongress- / Buchtitel:
- Proc. of the American Control Conference
- Jahr:
- 2007
- Volltext / DOI:
- doi:10.1109/ACC.2007.4282809
- BibTeX