https://github.com/uhyo/ltl-formula

LTL Formula -> Büchi automaton
https://github.com/uhyo/ltl-formula

Last synced: about 1 month ago
JSON representation

LTL Formula -> Büchi automaton

• Host: GitHub
• URL: https://github.com/uhyo/ltl-formula
• Owner: uhyo
• Created: 2016-07-30T11:38:27.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-01-09T14:43:45.000Z (almost 6 years ago)
• Last Synced: 2024-05-02T01:16:27.414Z (7 months ago)
• Language: JavaScript
• Homepage: https://uhyo.github.io/ltl-formula/
• Size: 986 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project