On the hardness of analyzing probabilistic programs

(2018) [Journal Article]

Acta informatica

Authors

Authors

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph

Identifier