A stochastic extension of the logic PDL - Kuntz, Matthias; Siegle, Markus 1964- ([Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science, 2004)