Usage

Tempest provides shield synthesis for probabilistic environments, exposed through tempestpy — a Python library with Gymnasium-compatible wrappers for safe reinforcement learning.

This section walks through the core components:

• ShieldFactory & ShieldConfig — build a shield from a PRISM model
• Wrappers — integrate shields into your RL training loop