Shielding

These tutorials show how MASA shielding wrappers turn safety analysis into environment interfaces that reinforcement-learning algorithms can consume.

• Probabilistic Shielding MiniPacman builds a PCTL-constrained MiniPacman environment, wraps it with ProbShieldWrapperDisc, and inspects safety bounds, successor dynamics, and projected safe actions.

• Safety Abstractions Pacman Coins shows why structured Pacman coin observations need a discrete safety abstraction before probabilistic shielding can compute safety bounds.

• FrozenLake Shielding shows how the same discrete shield synthesis path applies to Gymnasium-style FrozenLake dynamics.

Runnable notebooks:

• notebooks/tutorials/09_probabilistic_shielding_minipacman.ipynb

• notebooks/tutorials/10_safety_abstractions_pacman_coins.ipynb