TY  - RPRT
TI  - Ein Beitrag zur durchgängigen, formalen Verhaltensspezifikation automatisierter Straßenfahrzeuge
AU  - Nayel Fabian Salem
AU  - Veronica Haber
AU  - Matthias Rauschenbach
AU  - Marcus Nolte
AU  - Jan Reich
AU  - Torben Stolte
AU  - Robert Graubohm
AU  - Markus Maurer
PY  - 2022
UR  - https://arxiv.org/abs/2209.07204
ID  - 2209.07204
ER  -