From Specifications to Behavior: Maneuver Verification in a Semantic State Space

Klemens Esterle, Vincent Aravantinos und Alois Knoll

:2140-2147

Juni 2019 · DOI: 10.1109/IVS.2019.8814241

Url: https://doi.org/10.1109/IVS.2019.8814241

URL DOI BibTeX Zurück