TY  - RPRT
TI  - Towards Assume-Guarantee Profiles for Autonomous Vehicles
AU  - Tung Phan-Minh
AU  - Karena X. Cai
AU  - Richard M. Murray
PY  - 2019
UR  - https://arxiv.org/abs/1909.04850
ID  - 1909.04850
ER  -