Paper in Acta Informatica

The paper entitled “On the Hardness of Analyzing Probabilistic Programs” by Benjamin Kaminksi, Joost-Pieter Katoen, and Christoph Matheja has been accepted for publication in the journal Acta Informatica. The papers presents various hardness results for elementary decision problems on probabilistic programs such as “does a program terminate almost surely?”, “does it terminate in finite expected time?”, and “is the co-variance of two variables equal to a constant?”.