Provably Correct Shared Control for Human-Embedded Autonomous Systems Download pdf Tags: 1652113 2018 CPS-PI Meeting 2018 Presentation Session 7: LT License: CC-2.5 Submitted by Ufuk Topcu on Mon, 12/17/2018 - 11:00