GitHub topics: symbolic-automata
whitemech/pythomata
A Python package for automata theory.
Language: Python - Size: 6.07 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 7
ElAlev/Wayeb
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
Language: Scala - Size: 8.17 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 147 - Forks: 6
dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
Language: Python - Size: 909 KB - Last synced at: 8 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
