Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Open in new window