TY  - RPRT
TI  - From Specifications to Behavior: Maneuver Verification in a Semantic State Space
AU  - Klemens Esterle
AU  - Vincent Aravantinos
AU  - Alois Knoll
PY  - 2019
DO  - 10.1109/ivs.2019.8814241
UR  - https://arxiv.org/abs/1905.00708
ID  - 1905.00708
ER  -