Sign in
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.
Ali Asadi
Krishnendu Chatterjee
Amir Kafshdar Goharshady
Kiarash Mohammadi
Andreas Pavlogiannis
Published in:
ATVA (2020)
Keyphrases
</>
quantitative analysis
qualitative analysis
qualitative and quantitative analysis
learning algorithm
optimization problems
space complexity
lower bound
significant improvement
graph theory
memory efficient
qualitative evaluation
computational complexity
search space
upper bound
markov decision processes