The official code repository for Approximate Model-Based Shielding and spin off work
Reference simulator and stored results for Lyapunov-guided safe RL with risk-budget feasibility in energy-aware O-RAN scheduling: CVaR tail constraint, LCB safety filter, PID dual, and a swept classical drift-plus-penalty frontier.
Safe RL for Autonomous Driving: A project using Constrained MDPs to train a vehicle agent for lane-centering, speed adherence, and collision avoidance. Features kinematic modeling, reward shaping, and safety constraints.
Implementation of a Hybrid Shielded-CMDP framework for safe smart grid voltage control
Budget-constrained RL for human-in-the-loop agent orchestration. A PPO policy decides when to advance, re-retrieve, call a specialist or ask a human, under a hard cap of K reviews per 1,000 queries. Real HotpotQA pipeline, cached-counterfactual replay, audit trail, no synthetic data.
Fail-closed safety runtime for embodied agents: simulation backends, policy gates, benchmark harness.
To associate your repository with the constrained-mdp topic, visit your repo's landing page and select "manage topics."