- Title:
From Specifications to Behavior: Maneuver Verification in a Semantic State Space
- Document type:
- Konferenzbeitrag
- Author(s):
- Esterle, Klemens; Aravantinos, Vincent; Knoll, Alois
- Book / Congress title:
- 2019 IEEE Intelligent Vehicles Symposium (IV)
- Year:
- 2019
- BibTeX