| No. |
Title |
Author |
Year |
| 1 |
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set |
D'Costa, Julian et al. |
2022 |
| 2 |
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications |
Baier, Christel et al. |
2022 |
| 3 |
On Positivity and Minimality for Second-Order Holonomic Sequences |
Kenison, George et al. |
2021 |
| 4 |
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets |
D'Costa, Julian et al. |
2021 |
| 5 |
The Orbit Problem for Parametric Linear Dynamical Systems |
Baier, Christel et al. |
2021 |
| 6 |
How Fast Can You Escape a Compact Polytope? |
D'Costa, Julian et al. |
2020 |
| 7 |
Reachability in Dynamical Systems with Rounding |
Baier, Christel et al. |
2020 |
| 8 |
Probabilistic Disclosure: Maximisation vs. Minimisation |
Bérard, Béatrice et al. |
2018 |
| 9 |
Diagnosis in Infinite-State Probabilistic Systems |
Bertrand, Nathalie et al. |
2016 |
| 10 |
Simple Priced Timed Games are not That Simple |
Brihaye, Thomas et al. |
2015 |
| 11 |
Foundation of Diagnosis and Predictability in Probabilistic Systems |
Bertrand, Nathalie et al. |
2014 |
