Sign in
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.
Krishnendu Chatterjee
Hongfei Fu
Petr Novotný
Rouzbeh Hasheminezhad
Published in:
POPL (2016)
Keyphrases
</>
qualitative and quantitative
quantitative and qualitative
data analysis
information systems
temporal reasoning
neural network
machine learning
learning algorithm
computer vision
decision trees
search algorithm
lower bound
np complete
decision problems