Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 and Anonymous, 5 and Anonymous, 6 (2018) Cost Analysis of Nondeterministic Probabilistic Programs. Technical Report. IST Austria.