Login / Signup
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.
Krishnendu Chatterjee
Hongfei Fu
Petr Novotný
Rouzbeh Hasheminezhad
Published in:
CoRR (2015)
Keyphrases
</>
qualitative and quantitative
image analysis
statistical analysis
quantitative and qualitative
np complete
benchmark problems
temporal reasoning
qualitative information
neural network
case study
statistically significant
theorem proving
problems involving
computer programs