| No. |
Title |
Author |
Year |
| 1 |
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications |
Baier, Christel et al. |
2022 |
| 2 |
The Variance-Penalized Stochastic Shortest Path Problem |
Piribauer, Jakob et al. |
2022 |
| 3 |
From Verification to Causality-Based Explications (Invited Talk) |
Baier, Christel et al. |
2021 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baier, Christel et al. |
2021 |
| 5 |
LIPIcs, Volume 183, CSL 2021, Complete Volume |
Baier, Christel et al. |
2021 |
| 6 |
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking |
Piribauer, Jakob et al. |
2021 |
| 7 |
The Orbit Problem for Parametric Linear Dynamical Systems |
Baier, Christel et al. |
2021 |
| 8 |
On Skolem-Hardness and Saturation Points in Markov Decision Processes |
Piribauer, Jakob et al. |
2020 |
| 9 |
Reachability in Dynamical Systems with Rounding |
Baier, Christel et al. |
2020 |
| 10 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baier, Christel et al. |
2019 |
| 11 |
LIPIcs, Volume 132, ICALP'19, Complete Volume |
Baier, Christel et al. |
2019 |
| 12 |
Composition of Stochastic Transition Systems Based on Spans and Couplings |
Gburek, Daniel et al. |
2016 |
| 13 |
10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 14 |
10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 15 |
Recurrence and Transience for Probabilistic Automata |
Tracol, Mathieu et al. |
2009 |
