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