Zero-reachability in probabilistic multi-counter automata.

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

Published in: CSL-LICS (2014)

Keyphrases

probabilistic model
generative model
posterior probability
state space
neural network
probabilistic approaches
finite automata
probabilistic logic
uncertain data
cellular automata
artificial intelligence
real time
query processing
context sensitive
bayesian networks
learning algorithm
lattice gas