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