Minimization of Büchi Automata using Fair Simulation.

Daniel Tischner

Published in: CoRR (2016)

Keyphrases

objective function
cellular automata
simulation model
artificial intelligence
multiscale
discrete event simulation
databases
neural network
e learning
simulation study
numerical simulations
regular expressions
mathematical models
finite state automata