No. Title Author Year
1 Decision Problems for Second-Order Holonomic Recurrences Neumann, Eike et al. 2021
2 Holonomic Techniques, Periods, and Decision Problems (Invited Talk) Ouaknine, Joël 2021
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 The Pseudo-Skolem Problem is Decidable D'Costa, Julian et al. 2021
7 Algebraic Invariants for Linear Hybrid Automata Majumdar, Rupak et al. 2020
8 Holonomic Techniques, Periods, and Decision Problems (Invited Talk) Ouaknine, Joël 2020
9 How Fast Can You Escape a Compact Polytope? D'Costa, Julian et al. 2020
10 Invariants for Continuous Linear Dynamical Systems Almagor, Shaull et al. 2020
11 On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems Karimov, Toghrul et al. 2020
12 On Ranking Function Synthesis and Termination for Polynomial Programs Neumann, Eike et al. 2020
13 Reachability in Dynamical Systems with Rounding Baier, Christel et al. 2020
14 On Reachability Problems for Low-Dimensional Matrix Semigroups Colcombet, Thomas et al. 2019
15 Program Invariants (Invited Talk) Ouaknine, Joël 2019
16 Termination of Linear Loops over the Integers Hosseini, Mehran et al. 2019
17 The Semialgebraic Orbit Problem Almagor, Shaull et al. 2019
18 Effective Divergence Analysis for Linear Recurrence Sequences Almagor, Shaull et al. 2018
19 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
20 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
21 The Polytope-Collision Problem Almagor, Shaull et al. 2017
22 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
23 On the Skolem Problem for Continuous Linear Dynamical Systems Chonev, Ventsislav et al. 2016
24 Proving the Herman-Protocol Conjecture Bruna, Maria et al. 2016
25 On Matrix Powering in Low Dimensions Galby, Esther et al. 2015
26 Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141) Esparza, Javier et al. 2014
27 The Church Synthesis Problem with Metric Jenkins, Mark et al. 2011
28 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
29 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 29


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