Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
Natsuki UrabeShunsuke ShimizuIchiro HasuoPublished in: CoRR (2016)
Keyphrases
- finite automata
- finite state
- bayesian networks
- generative model
- cellular automata
- data driven
- markov chain
- probabilistic logic
- simulation model
- mathematical model
- probabilistic automata
- probabilistic approaches
- tree automata
- simulation models
- simulation environment
- simulation study
- search engine
- probabilistic model
- relational databases
- website
- information systems