GitHub topics: symbolic-automata
whitemech/pythomata
A Python package for automata theory.
Language: Python - Size: 6.07 MB - Last synced at: about 17 hours ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 6
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: over 1 year ago - Pushed at: over 1 year ago - Stars: 147 - Forks: 6
dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
Language: Python - Size: 909 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
