Publication [KaminskiKM19] On the hardness of analyzing probabilistic programs Kaminski, B. L.; Katoen, J.-P. and Matheja, C. In Acta Informatica, 56: 255-285, 2019.Downloads: bib