- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Stursberg, O.; Buss, M.
- Titel:
- Safety Assessment of Autonomous Cars using Verification Techniques
- Kongress- / Buchtitel:
- 26th American Control Conference
- Kongress / Zusatzinformationen:
- New York City, USA, July 11-13, 2007
- Jahr:
- 2007
- Seiten:
- 4154-4159
- Sprache:
- en
- Format:
- Text
- BibTeX