@misc{indiciaeaf61e06aa59d,
  title = {Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture},
  author = {Josefine Graebener and Tung Phan-Minh and Jiaqi Yan and Qiming Zhao and Richard M. Murray},
  year = {2021},
  url = {https://arxiv.org/abs/2103.12919},
  note = {Source identifier: 2103.12919}
}