CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems Submitted by Anonymous on Fri, 09/03/2021 - 11:54 Short Talk 1652113 CPS PI Meeting 2021 NSF