Usage

Tempest provides shield synthesis for probabilistic environments. The core functionality is exposed through tempestpy, a Python library designed to be used through 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