Synthesis of Provably Correct Autonomy Protocols for Shared Control

Open in new window