Translate the Until/Release-Free LTL formual to NBA

Usage

python main.py aUb

• aUb: LTL formula you wanna test.

Installation instruction

1. Python3.X Environment.
2. Download MSI here and install it.
3. Add its bin path to your PC's Environment Path.
4. 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 》