TY  - RPRT
TI  - Formal Verification of a Fail-Operational Automotive Driving System
AU  - Tobias Schmid
AU  - Stefanie Schraufstetter
AU  - Jonas Fritzsch
AU  - Dominik Hellhake
AU  - Greta Koelln
AU  - Stefan Wagner
PY  - 2021
UR  - https://arxiv.org/abs/2101.07307
ID  - 2101.07307
ER  -