Submitted by Ufuk Topcu on Fri, 05/10/2024 - 14:21 CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems 1652113 Contributors: Ufuk Topcu Mustafa Karabag Sponsors: National Science Foundation Core Areas: