TY - RPRT TI - Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees AU - Nils Jansen AU - Murat Cubuktepe AU - Ufuk Topcu PY - 2016 UR - https://arxiv.org/abs/1610.08500 ID - 1610.08500 ER -