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 |