Analysis, Verification, and Synthesis for Infinite-State Systems

On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets

Autoren: Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
Veröffentlicht in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe 202, 2021, Seite(n) 33:1--33:21
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.33

On Positivity and Minimality for Second-Order Holonomic Sequences

Autoren: George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
Veröffentlicht in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe 202, 2021, Seite(n) 67:1--67:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.67

Invariants for Continuous Linear Dynamical Systems

Autoren: Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Veröffentlicht in: 47th International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe 168, 2020, Seite(n) 107:1--107:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.107

Decision Problems for Second-Order Holonomic Recurrences

Autoren: Eike Neumann, Joël Ouaknine, James Worrell
Veröffentlicht in: 48th International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe 198, 2021, Seite(n) 99:1--99:20
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.99

Reachability in Dynamical Systems with Rounding

Autoren: Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Veröffentlicht in: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Ausgabe 182, 2020, Seite(n) 36:1--36:17
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2020.36

The Pseudo-Skolem Problem is Decidable

Autoren: Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
Veröffentlicht in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe 202, 2021, Seite(n) 34:1--34:21
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.34

Universal Skolem Sets

Autoren: Florian Luca, Joel Ouaknine, James Worrell
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-6, ISBN 978-1-6654-4895-6
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470513

Solvability of Matrix-Exponential Equations

Autoren: Joel Ouaknine, Amaury Pouly, Joao Sousa-Pinto, James Worrell
Veröffentlicht in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 798-806, ISBN 9781-450343916
Herausgeber: ACM Press
DOI: 10.1145/2933575.2934538

On Recurrent Reachability for Continuous Linear Dynamical Systems

Autoren: Ventsislav Chonev, Joël Ouaknine, James Worrell
Veröffentlicht in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 515-524, ISBN 9781-450343916
Herausgeber: ACM Press
DOI: 10.1145/2933575.2934548

Proving the Herman-Protocol Conjecture

Autoren: Bruna, Maria; Grigore, Radu; Kiefer, Stefan; Ouaknine, Joël; Worrell, James
Veröffentlicht in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2016.104

On the Skolem Problem for Continuous Linear Dynamical Systems

Autoren: Ventsislav Chonev, Joel Ouaknine, and James Worrell
Veröffentlicht in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2016.100

Model Checking Flat Freeze LTL on One-Counter Automata

Autoren: Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly, and James Worrell
Veröffentlicht in: 27th International Conference on Concurrency Theory (CONCUR), 2016
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2016.29

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Autoren: Nathanael Fijalkow, Pierre Ohlmann, Joel Ouaknine, Amaury Pouly, and James Worrell
Veröffentlicht in: 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2017.29

The Polytope-Collision Problem

Autoren: Shaull Almagor, Joel Ouaknine, and James Worrell
Veröffentlicht in: 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.24

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

Autoren: Joel Ouaknine, Joao Sousa-Pinto, James Worrell
Veröffentlicht in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017, Seite(n) 11-17, ISBN 9781-450345903
Herausgeber: ACM Press
DOI: 10.1145/3049797.3049798

Polynomial Invariants for Affine Programs

Autoren: Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Veröffentlicht in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Seite(n) 530-539, ISBN 9781-450355834
Herausgeber: ACM Press
DOI: 10.1145/3209108.3209142

O-Minimal Invariants for Linear Loops

Autoren: Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
Veröffentlicht in: 45th International Colloquium on Automata, Languages, and Programming, ICALP, Ausgabe 107, 2018, Seite(n) 114:1--114:14, ISBN 978-3-95977-076-7
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2018.114

Convex Language Semantics for Nondeterministic Probabilistic Automata

Autoren: van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
Veröffentlicht in: Proceedings, Theoretical Aspects of Computing (ICTAC) 2018 - 15th International Colloquium, Ausgabe 11187, 2018, Seite(n) 472--492, ISBN 978-3-030-02507-6
Herausgeber: Springer

Effective Divergence Analysis for Linear Recurrence Sequences

Autoren: Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James
Veröffentlicht in: 29th International Conference on Concurrency Theory, CONCUR, Ausgabe 118, 2018, Seite(n) 42:1--42:15, ISBN 978-3-95977-087-3
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2018.42

Sequential Relational Decomposition

Autoren: Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Veröffentlicht in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, Ausgabe Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018, Seite(n) 432-441, ISBN 9781-450355834
Herausgeber: ACM Press
DOI: 10.1145/3209108.3209203

The Semialgebraic Orbit Problem

Autoren: Shaull Almagor, Joel Ouaknine, James Worrell
Veröffentlicht in: Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS), Ausgabe LIPIcs 126, 2019, Seite(n) 6:1--6:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.stacs.2019.6

On Reachability Problems for Low-Dimensional Matrix Semigroups

Autoren: Thomas Colcombet, Joel Ouaknine, Pavel Semukhin, James Worrell
Veröffentlicht in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe LIPIcs 132, 2019, Seite(n) 44:1-44:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.44

Termination of Linear Loops over the Integers

Autoren: Mehran Hosseini, Joel Ouaknine, James Worrell
Veröffentlicht in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe LIPIcs 132, 2019, Seite(n) 118:1-118:13
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.118

On the decidability of reachability in linear time-invariant systems

Autoren: Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Veröffentlicht in: Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19, 2019, Seite(n) 77-86, ISBN 9781-450362825
Herausgeber: ACM Press
DOI: 10.1145/3302504.3311796

On the Skolem Problem and prime powers

Autoren: George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
Veröffentlicht in: 45th International Symposium on Symbolic and Algebraic Computation (ISSAC), Ausgabe 20 July 2020, 2020, Seite(n) 289-296
Herausgeber: ACM
DOI: 10.1145/3373207.3404036

The Orbit Problem for Parametric Linear Dynamical Systems

Autoren: Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Veröffentlicht in: 32nd International Conference on Concurrency Theory (CONCUR), Ausgabe 203, 2021, Seite(n) 28:1--28:17
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2021.28

How Fast Can You Escape a Compact Polytope?

Autoren: Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
Veröffentlicht in: 37th International Symposium on Theoretical Aspects of Computer Science (STACS), Ausgabe 154, 2020, Seite(n) 49:1-49:11, ISBN 978-3-95977-140-5
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2020.49

On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems

Autoren: Toghrul Karimov, Joël Ouaknine, James Worrell
Veröffentlicht in: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS), Ausgabe 170, 2020, Seite(n) 54:1--54:14
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2020.54

On Ranking Function Synthesis and Termination for Polynomial Programs

Autoren: Eike Neumann, Joël Ouaknine, James Worrell
Veröffentlicht in: 31st International Conference on Concurrency Theory (CONCUR), Ausgabe 171, 2020, Seite(n) 15:1--15:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.15

Algebraic Invariants for Linear Hybrid Automata

Autoren: Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Veröffentlicht in: 31st International Conference on Concurrency Theory (CONCUR), Ausgabe 171, 2020, Seite(n) 32:1--32:17
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.32

What’s Decidable about Linear Loops?

Autoren: TOGHRUL KARIMOV, ENGEL LEFAUCHEUX, JOËL OUAKNINE, DAVID PURSER, ANTON VARONKA, MARKUS A. WHITELAND, JAMES WORRELL
Veröffentlicht in: Proceedings of the ACM Symposium on Programming Languages, Ausgabe 6/POPL, 2022, Seite(n) 1-25, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3498727

Deciding ω-regular properties on linear recurrence sequences

Autoren: Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 5/POPL, 2021, Seite(n) 1-24, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3434329

On the Complexity of the Orbit Problem

Autoren: Ventsislav Chonev, Joël Ouaknine, James Worrell
Veröffentlicht in: Journal of the ACM, Ausgabe 63/3, 2016, Seite(n) 1-18, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/2857050

Zeno, Hercules, and the Hydra

Autoren: Ranko Lazić, Joël Ouaknine, James Worrell
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 17/3, 2016, Seite(n) 1-27, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/2874774

On parametric timed automata and one-counter machines

Autoren: Daniel Bundala, Joel Ouaknine
Veröffentlicht in: Information and Computation, Ausgabe 253, 2017, Seite(n) 272-303, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2016.07.011

Cyclic-routing of Unmanned Aerial Vehicles

Autoren: Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 103, 2019, Seite(n) 18-45, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2019.02.002

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Autoren: Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Veröffentlicht in: Theory of Computing Systems, Ausgabe 63/5, 2019, Seite(n) 1027-1048, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-019-09913-3

On the Decidability of Membership in Matrix-exponential Semigroups

Autoren: Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Veröffentlicht in: Journal of the ACM, Ausgabe 66/3, 2019, Seite(n) 1-24, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3286487

First-Order Orbit Queries

Autoren: Shaull Almagor, Joël Ouaknine, James Worrell
Veröffentlicht in: Theory of Computing Systems, Ausgabe 65/4, 2021, Seite(n) 638-661, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-020-09976-7

On the Monniaux Problem in Abstract Interpretation

Autoren: Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Veröffentlicht in: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Ausgabe 11822, 2019, Seite(n) 162-180, ISBN 978-3-030-32303-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32304-2_9

Porous Invariants

Autoren: Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Veröffentlicht in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II, Ausgabe 12760, 2021, Seite(n) 172-194, ISBN 978-3-030-81687-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-81688-9_8

Veröffentlichungen

Diese Seite teilen

Herunterladen