SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo — reproducible training/evaluation, STL-based verification, benchmarks, Docker/CI.
reinforcement-learning robotics verification pytest benchmarks mpc temporal-logic reproducibility ruff mujoco franka signal-temporal-logic safe-rl control-barrier-function safirl shielded-rl
-
Updated
Dec 20, 2025 - Python