Two Decades of Probabilistic Verification - Reflections and Perspectives
Short report of the workshop
Slides of Presentations