No. Title Author Year
1 Algebraic Invariants for Linear Hybrid Automata Majumdar, Rupak et al. 2020
2 Coverability in 1-VASS with Disequality Tests Almagor, Shaull et al. 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 Parametric Model Checking Continuous-Time Markov Chains Ilie, Catalin-Andrei et al. 2020
8 On Reachability Problems for Low-Dimensional Matrix Semigroups Colcombet, Thomas et al. 2019
9 Termination of Linear Loops over the Integers Hosseini, Mehran et al. 2019
10 The Semialgebraic Orbit Problem Almagor, Shaull et al. 2019
11 Costs and Rewards in Priced Timed Automata Fränzle, Martin et al. 2018
12 Effective Divergence Analysis for Linear Recurrence Sequences Almagor, Shaull et al. 2018
13 Front Matter, Table of Contents, Preface, Conference Organization Potapov, Igor et al. 2018
14 LIPIcs, Volume 117, MFCS'18, Complete Volume Potapov, Igor et al. 2018
15 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
16 When is Containment Decidable for Probabilistic Automata? Daviaud, Laure et al. 2018
17 Probabilistic Automata of Bounded Ambiguity Fijalkow, Nathanaël et al. 2017
18 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
19 The Polytope-Collision Problem Almagor, Shaull et al. 2017
20 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
21 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
22 On the Skolem Problem for Continuous Linear Dynamical Systems Chonev, Ventsislav et al. 2016
23 Proving the Herman-Protocol Conjecture Bruna, Maria et al. 2016
24 On Matrix Powering in Low Dimensions Galby, Esther et al. 2015
25 Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper) Worrell, James 2015
26 Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk) Worrell, James 2015
27 Bisimilarity of Probabilistic Pushdown Automata Forejt, Vojtech et al. 2012
28 The Church Synthesis Problem with Metric Jenkins, Mark et al. 2011
29 Computing Rational Radical Sums in Uniform TC^0 Hunter, Paul et al. 2010
30 On Termination for Faulty Channel Machines Bouyer, Patricia et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 30


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