TY  - RPRT
TI  - Synthesis of Provably Correct Autonomy Protocols for Shared Control
AU  - Murat Cubuktepe
AU  - Nils Jansen
AU  - Mohammed Alsiekh
AU  - Ufuk Topcu
PY  - 2019
UR  - https://arxiv.org/abs/1905.06471
ID  - 1905.06471
ER  -