Login / Signup

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.

Krishnendu ChatterjeeHongfei FuPetr NovotnýRouzbeh Hasheminezhad
Published in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases