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