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:
- clone this project:
git clone https://github.com/tjt7a/LTLfAutomata.git
- cd into the project director:
cd LTLfAutomata
- run the makefile:
make
- Read the README file as well as the notes in each script