Provably Correct Shared Control for Human-Embedded Autonomous Systems Submitted by Jason Gigax on Tue, 01/10/2023 - 12:48 1652113 2022 CPS PI Meeting 2022