| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baier, Christel et al. |
2021 |
| 2 |
LIPIcs, Volume 183, CSL 2021, Complete Volume |
Baier, Christel et al. |
2021 |
| 3 |
On Skolem-Hardness and Saturation Points in Markov Decision Processes |
Piribauer, Jakob et al. |
2020 |
| 4 |
Reachability in Dynamical Systems with Rounding |
Baier, Christel et al. |
2020 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baier, Christel et al. |
2019 |
| 6 |
LIPIcs, Volume 132, ICALP'19, Complete Volume |
Baier, Christel et al. |
2019 |
| 7 |
Composition of Stochastic Transition Systems Based on Spans and Couplings |
Gburek, Daniel et al. |
2016 |
| 8 |
10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 9 |
10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 10 |
Recurrence and Transience for Probabilistic Automata |
Tracol, Mathieu et al. |
2009 |
