8000 symbolic-automata · GitHub Topics · GitHub

More Web Proxy on the site http://driver.im/

#

symbolic-automata

Here are 3 public repositories matching this topic...

Wayeb

ElAlev / Wayeb

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

automata scala cep regular-expression stream-processing forecasting complex-event-processing markov-models symbolic-automata complex-event-forecasting symbolic-regular-expression symbolic-transducer

Updated Nov 17, 2023
Scala

whitemech / pythomata

A Python package for automata theory.

automata symbolic nfa automaton dfa automata-theory dfa-minimization deterministic-finite-automata determinizer dfa-construction nfa2dfa dfa-minimizer nondeterministic-finite-automata languages-and-automata symbolic-automata

Updated Jan 17, 2024
Python

dSynMa / syMTri

A tool for reactive synthesis with monitor triggers.

monitoring ltl synthesis runtime-verification reactive-synthesis symbolic-automata

Updated Nov 10, 2023
Python

Improve this page

Add a description, image, and links to the symbolic-automata topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-automata topic, visit your repo's landing page and select "manage topics."

0