| No. |
Title |
Author |
Year |
| 1 |
CONCUR Test-Of-Time Award 2023 (Invited Paper) |
Jonsson, Bengt et al. |
2023 |
| 2 |
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk) |
Kwiatkowska, Marta et al. |
2022 |
| 3 |
Probabilistic Methods in Verification (Dagstuhl Seminar 00181) |
Kwiatkowska, Marta et al. |
2021 |
| 4 |
Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201) |
Boutilier, Craig et al. |
2021 |
| 5 |
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper) |
Kwiatkowska, Marta Z. |
2019 |
| 6 |
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) |
Filieri, Antonio et al. |
2016 |
| 7 |
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) |
Kwiatkowska, Marta Z. |
2016 |
| 8 |
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) |
Kounev, Samuel et al. |
2015 |
| 9 |
Parameter synthesis for probabilistic real-time systems (Invited Paper) |
Kwiatkowska, Marta |
2015 |
| 10 |
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software |
Kwiatkowska, Marta et al. |
2014 |
| 11 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Turau, Volker et al. |
2014 |
| 12 |
OASIcs, Volume 36, MCPS'14, Complete Volume |
Turau, Volker et al. |
2014 |
| 13 |
10051 Abstracts Collection -- Quantitative and Qualitative Analysis of Network Protocols |
Jonsson, Bengt et al. |
2010 |
| 14 |
10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols |
Jonsson, Bengt et al. |
2010 |
