TY  - RPRT
TI  - A Formally Verified Fail-Operational Safety Concept for Automated Driving
AU  - Yuting Fu
AU  - Andrei Terechko
AU  - Jan Friso Groote
AU  - Arash Khabbaz Saberi
PY  - 2020
DO  - 10.4271/12-05-01-0002
UR  - https://arxiv.org/abs/2011.00892
ID  - 2011.00892
ER  -