symbolic-automata

There are 3 repositories under symbolic-automata topic.

ElAlev/Wayeb
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
Language:Scala150 8 17
whitemech/pythomata
A Python package for automata theory.
Language:Python54 2 236
dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
Language:Python3 2 20