GitHub repository: utra-robosoccer/safe-control-gym
Description: PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL