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
Current Page :
Number of result pages: 2
Number of documents: 34


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI