Skip to content

Examples

This section provides example environments and benchmarks designed to work with Tempest's shield synthesis pipeline.

  • MinigridSafe — a Minigrid extension with stochastic tile mechanics, adversarial NPCs, and automatic PRISM export, designed as a playground for shielded RL