| No. |
Title |
Author |
Year |
| 1 |
A Universal Skolem Set of Positive Lower Density |
Luca, Florian et al. |
2022 |
| 2 |
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set |
D'Costa, Julian et al. |
2022 |
| 3 |
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications |
Baier, Christel et al. |
2022 |
| 4 |
Skolem Meets Schanuel |
Bilu, Yuri et al. |
2022 |
| 5 |
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems |
D'Costa, Julian et al. |
2022 |
| 6 |
Decision Problems for Second-Order Holonomic Recurrences |
Neumann, Eike et al. |
2021 |
| 7 |
Holonomic Techniques, Periods, and Decision Problems (Invited Talk) |
Ouaknine, Joël |
2021 |
| 8 |
On Positivity and Minimality for Second-Order Holonomic Sequences |
Kenison, George et al. |
2021 |
| 9 |
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets |
D'Costa, Julian et al. |
2021 |
| 10 |
The Orbit Problem for Parametric Linear Dynamical Systems |
Baier, Christel et al. |
2021 |
| 11 |
The Pseudo-Skolem Problem is Decidable |
D'Costa, Julian et al. |
2021 |
| 12 |
Algebraic Invariants for Linear Hybrid Automata |
Majumdar, Rupak et al. |
2020 |
| 13 |
Holonomic Techniques, Periods, and Decision Problems (Invited Talk) |
Ouaknine, Joël |
2020 |
| 14 |
How Fast Can You Escape a Compact Polytope? |
D'Costa, Julian et al. |
2020 |
| 15 |
Invariants for Continuous Linear Dynamical Systems |
Almagor, Shaull et al. |
2020 |
| 16 |
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems |
Karimov, Toghrul et al. |
2020 |
| 17 |
On Ranking Function Synthesis and Termination for Polynomial Programs |
Neumann, Eike et al. |
2020 |
| 18 |
Reachability in Dynamical Systems with Rounding |
Baier, Christel et al. |
2020 |
| 19 |
On Reachability Problems for Low-Dimensional Matrix Semigroups |
Colcombet, Thomas et al. |
2019 |
| 20 |
Program Invariants (Invited Talk) |
Ouaknine, Joël |
2019 |
| 21 |
Termination of Linear Loops over the Integers |
Hosseini, Mehran et al. |
2019 |
| 22 |
The Semialgebraic Orbit Problem |
Almagor, Shaull et al. |
2019 |
| 23 |
Effective Divergence Analysis for Linear Recurrence Sequences |
Almagor, Shaull et al. |
2018 |
| 24 |
O-Minimal Invariants for Linear Loops |
Almagor, Shaull et al. |
2018 |
| 25 |
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem |
Fijalkow, Nathanaël et al. |
2017 |
| 26 |
The Polytope-Collision Problem |
Almagor, Shaull et al. |
2017 |
| 27 |
Model Checking Flat Freeze LTL on One-Counter Automata |
Lechner, Antonia et al. |
2016 |
| 28 |
On the Skolem Problem for Continuous Linear Dynamical Systems |
Chonev, Ventsislav et al. |
2016 |
| 29 |
Proving the Herman-Protocol Conjecture |
Bruna, Maria et al. |
2016 |
| 30 |
On Matrix Powering in Low Dimensions |
Galby, Esther et al. |
2015 |
