- Titel:
From Specifications to Behavior: Maneuver Verification in a Semantic State Space
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Esterle, Klemens; Aravantinos, Vincent; Knoll, Alois
- Kongress- / Buchtitel:
- 2019 IEEE Intelligent Vehicles Symposium (IV)
- Jahr:
- 2019
- BibTeX