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


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