Translate the Until/Release-Free LTL formual to NBA
Usage
python main.py aUb
aUb: LTL formula you wanna test.
Installation instruction
Python3.XEnvironment.- Download MSI here and install it.
- Add its
binpath to your PC'sEnvironment Path. - pip install graphviz.
Or You Can See The Demo Video
URL: https://www.bilibili.com/video/av81034357/
Background
Mainly based on the paper: 《On the Relationship between LTL Normal Forms and Buchi Automata 》