tempestpy

github

tempestpy is a library based on python-bindings for Tempest, aimed at making the integration of shield synthesis into your favorite RL framework as easy as possible. If you have not already done so, install Tempest first.

Virtual Environments

A virtual environment is an isolated environment for your specific project. It helps to manage different versions of python and packages specific to your project. We recommend to use a virtual environment, but this is not a required step.

You can setup a virtual environment for your current version of python virtual

python -m venv env
source env/bin/activate

This will create an env directory in your current directory and will activate it as the virtual environment. For more info, we recommand reading this guide.

Dependencies

In order to install tempestpy, you need to have a version of Tempest installed, as well as the python bindings for carl.

Pull and install the python bindings for carl:

git clone -b 2.0.4 https://github.com/moves-rwth/pycarl.git
cd pycarl
python3 setup.py develop

For more information, we refer to the installation page of pycarl.

Installation

git clone https://github.com/PrangerStefan/tempestpy
cd tempestpy
python3 setup.py develop