TY  - RPRT
TI  - Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
AU  - Josefine Graebener
AU  - Tung Phan-Minh
AU  - Jiaqi Yan
AU  - Qiming Zhao
AU  - Richard M. Murray
PY  - 2021
UR  - https://arxiv.org/abs/2103.12919
ID  - 2103.12919
ER  -