A Coalgebraic Approach to Reducing Finitary Automata.

Keri D'Angelo Alexandra Silva Gerco van Heerdt Leon Witzman

Published in: CoRR (2023)

Keyphrases

finite state
cellular automata
real time
markov chain
databases
tree automata
machine learning
markov decision processes
neural network
database systems
model checking
regular expressions
probabilistic automata
lattice gas