Tempest

Tempest is shield synthesis tool for probabilisitic environments.

Getting Started

Follow the Installation guide to setup Tempest on your machine.

Background

The focus of probabilistic shielding lies in enabling safe reinforcement learning. Follow the basics for a brief introduction to the method and for further material.