C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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