QEST 2010: Williamsburg, Virginia, USA

Invited Talk

Probabilistic Model Checking

Performance Evaluation and Queuing Theory

Distribution Fitting

Invited Talk

Compositional Probabilistic Model Checking

Foundations

Markov Decision Processes

Solution Techniques

Applications 1

Tutorials

maintained by Schloss Dagstuhl LZI at University of Trier