symbolic-automata

There are 0 repository under symbolic-automata topic.

• Wayeb

  ElAlev / Wayeb

  Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.

  complex-event-processingforecastingautomatasymbolic-automatastream-processingcomplex-event-forecastingregular-expressionmarkov-modelscepscalasymbolic-regular-expressionsymbolic-transducer
  Language:Scala 147

• whitemech / pythomata

  A Python package for automata theory.

  automatonautomataautomata-theorydfadfa-minimizationdfa-constructiondfa-minimizernfanfa2dfadeterminizerdeterministic-finite-automatanondeterministic-finite-automatasymboliclanguages-and-automatasymbolic-automata
  Language:Python 50

• dSynMa / syMTri

  A tool for reactive synthesis with monitor triggers.

  ltlmonitoringreactive-synthesisruntime-verificationsymbolic-automatasynthesis
  Language:Python 3