Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe Ichiro Hasuo

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

finite state
finite automata
viewpoint
bayesian networks
artificial intelligence
probabilistic model
simulation model
data driven
cellular automata
information theoretic
genetic algorithm
decision trees
hidden markov models
graphical models
mathematical models