GitHub - cloverrose/elevator-ltl-strx: Generate 4F elevator automaton from LTL by using strix.

Generate 4F elevator automaton from LTL by using strix. - cloverrose/elevator-ltl-strx
github.com github.com