/LTLfAutomata

Tools for working with LTLf and automata.

Primary LanguagePython

LTLfAutomata

Tools for working with LTLf and automata.

The code is located in the Code directory. To use the MONAtoDFA.py program, you will need to:

  1. clone this project: git clone https://github.com/tjt7a/LTLfAutomata.git
  2. cd into the project director: cd LTLfAutomata
  3. run the makefile: make
  4. Read the README file as well as the notes in each script