Login / Signup
Deciding Fast Termination for Probabilistic VASS with Nondeterminism.
Tomás Brázdil
Krishnendu Chatterjee
Antonín Kucera
Petr Novotný
Dominik Velan
Published in:
ATVA (2019)
Keyphrases
</>
bayesian networks
probabilistic model
uncertain data
generative model
real world
genetic algorithm
belief networks
probabilistic interpretation
databases
information retrieval
learning algorithm
video sequences
search algorithm
evolutionary algorithm
posterior probability