Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees | Read Paper on Bytez