Accepted Papers

Vaclav Brozek, Tomas Brazdil, Vojtech Forejt, and Antonin Kucera
Reachability in Recursive Markov Decision Processes

Sandra Batista
A Note on Spaced Bounded Interactive Proof Systems and Martingales

Andrzej Murawski, Joel Ouaknine
On Probabilistic Program Equivalence and Refinement

Vaclav Brozek
On Decidability and Complexity of Stochastic Pushdown Games

Alessandro Tiberi
Probabilistic Configuration Theories

Celine Kuttler, Cedric Lhoussaine, and Joachim Niehren
A Stochastic Pi-Calculus for Concurrent Objects

Sayan Mitra, Nancy Lynch
Approximate Simulations for Task-Structured Probabilistic I/O Automata