Zero-Reachability in Probabilistic Multi-Counter Automata.

Tomás Brázdil Stefan Kiefer Antonín Kucera Petr Novotný Joost-Pieter Katoen

Published in: CoRR (2014)

Keyphrases

cellular automata
probabilistic model
regular expressions
bayesian networks
machine learning
probabilistic interpretation
transitive closure
posterior probability
data driven
decision trees
multiscale
information systems
social networks
artificial intelligence
finite automata
databases
probabilistic approaches