Provably Correct Shared Control for Human-Embedded Autonomous Systems Download pdf Tags: 1652113 2018 CPS-PI Meeting 2018 Poster Posters (Sessions 8 & 11) License: CC-2.5 Submitted by Ufuk Topcu on Tue, 01/22/2019 - 17:46