Long, Dhiman, Leok, Cortés, Atanasov, 2022. Safe Control Synthesis with Uncertain Dynamics and Constraints.