kltl0

A set of experiments used to perform design of control algorithms for the temporal logic KLTL.

Install (Recommended)

Install this package (after downloading) by running the following command in the root directory of the package:

conda create -n kltl python=3.11
conda activate kltl
pip install -r requirements.txt
pip install -e .

After running this, you can run the experiments by entering the kltl conda environment and importing the kltl package (import kltl).