No. Title Author Year
1 Algebraic Invariants for Linear Hybrid Automata Majumdar, Rupak et al. 2020
2 A Universal Ordinary Differential Equation Bournez, Olivier et al. 2017
3 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaƫl et al. 2017
4 Model Checking Flat Freeze LTL on One-Counter Automata Lechner, Antonia et al. 2016
5 Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations Bournez, Olivier et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 5


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