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:
CoRR (2019)
Keyphrases
</>
probabilistic model
generative model
situation calculus
bayesian networks
real time
genetic algorithm
uncertain data
probabilistic approaches
database systems
belief networks
expert systems
term rewrite systems
term rewriting
search algorithm
case study
search engine
real world
databases