Skip to main content

Analysis, Verification, and Synthesis for Infinite-State Systems

Searching for OpenAIRE data...

Publications

Solvability of Matrix-Exponential Equations

Author(s): Joel Ouaknine, Amaury Pouly, Joao Sousa-Pinto, James Worrell
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 798-806
DOI: 10.1145/2933575.2934538

On Recurrent Reachability for Continuous Linear Dynamical Systems

Author(s): Ventsislav Chonev, Joël Ouaknine, James Worrell
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 515-524
DOI: 10.1145/2933575.2934548

Proving the Herman-Protocol Conjecture

Author(s): Bruna, Maria; Grigore, Radu; Kiefer, Stefan; Ouaknine, Joël; Worrell, James
Published in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
DOI: 10.4230/LIPIcs.ICALP.2016.104

On the Skolem Problem for Continuous Linear Dynamical Systems

Author(s): Ventsislav Chonev, Joel Ouaknine, and James Worrell
Published in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP), 2016
DOI: 10.4230/LIPIcs.ICALP.2016.100

Model Checking Flat Freeze LTL on One-Counter Automata

Author(s): Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly, and James Worrell
Published in: 27th International Conference on Concurrency Theory (CONCUR), 2016
DOI: 10.4230/LIPIcs.CONCUR.2016.29

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Author(s): Nathanael Fijalkow, Pierre Ohlmann, Joel Ouaknine, Amaury Pouly, and James Worrell
Published in: 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017
DOI: 10.4230/LIPIcs.STACS.2017.29

The Polytope-Collision Problem

Author(s): Shaull Almagor, Joel Ouaknine, and James Worrell
Published in: 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017
DOI: 10.4230/LIPIcs.ICALP.2017.24

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

Author(s): Joel Ouaknine, Joao Sousa-Pinto, James Worrell
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017, Page(s) 11-17
DOI: 10.1145/3049797.3049798

Polynomial Invariants for Affine Programs

Author(s): Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 530-539
DOI: 10.1145/3209108.3209142

O-Minimal Invariants for Linear Loops

Author(s): Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James
Published in: 45th International Colloquium on Automata, Languages, and Programming, ICALP, Issue 107, 2018, Page(s) 114:1--114:14
DOI: 10.4230/LIPIcs.ICALP.2018.114

Convex Language Semantics for Nondeterministic Probabilistic Automata

Author(s): van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
Published in: Proceedings, Theoretical Aspects of Computing (ICTAC) 2018 - 15th International Colloquium, Issue 11187, 2018, Page(s) 472--492

Effective Divergence Analysis for Linear Recurrence Sequences

Author(s): Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James
Published in: 29th International Conference on Concurrency Theory, CONCUR, Issue 118, 2018, Page(s) 42:1--42:15
DOI: 10.4230/LIPIcs.CONCUR.2018.42

Sequential Relational Decomposition

Author(s): Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, Issue Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018, Page(s) 432-441
DOI: 10.1145/3209108.3209203

The Semialgebraic Orbit Problem

Author(s): Shaull Almagor, Joel Ouaknine, James Worrell
Published in: Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS), Issue LIPIcs 126, 2019, Page(s) 6:1--6:15
DOI: 10.4230/lipics.stacs.2019.6

On Reachability Problems for Low-Dimensional Matrix Semigroups

Author(s): Thomas Colcombet, Joel Ouaknine, Pavel Semukhin, James Worrell
Published in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Issue LIPIcs 132, 2019, Page(s) 44:1-44:15
DOI: 10.4230/lipics.icalp.2019.44

Termination of Linear Loops over the Integers

Author(s): Mehran Hosseini, Joel Ouaknine, James Worrell
Published in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), Issue LIPIcs 132, 2019, Page(s) 118:1-118:13
DOI: 10.4230/lipics.icalp.2019.118

On the decidability of reachability in linear time-invariant systems

Author(s): Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19, 2019, Page(s) 77-86
DOI: 10.1145/3302504.3311796

On the Complexity of the Orbit Problem

Author(s): Ventsislav Chonev, Joël Ouaknine, James Worrell
Published in: Journal of the ACM, Issue 63/3, 2016, Page(s) 1-18, ISSN 0004-5411
DOI: 10.1145/2857050

Zeno, Hercules, and the Hydra

Author(s): Ranko Lazić, Joël Ouaknine, James Worrell
Published in: ACM Transactions on Computational Logic, Issue 17/3, 2016, Page(s) 1-27, ISSN 1529-3785
DOI: 10.1145/2874774

On parametric timed automata and one-counter machines

Author(s): Daniel Bundala, Joel Ouaknine
Published in: Information and Computation, Issue 253, 2017, Page(s) 272-303, ISSN 0890-5401
DOI: 10.1016/j.ic.2016.07.011

Cyclic-routing of Unmanned Aerial Vehicles

Author(s): Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman
Published in: Journal of Computer and System Sciences, Issue 103, 2019, Page(s) 18-45, ISSN 0022-0000
DOI: 10.1016/j.jcss.2019.02.002

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Author(s): Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
Published in: Theory of Computing Systems, Issue 63/5, 2019, Page(s) 1027-1048, ISSN 1432-4350
DOI: 10.1007/s00224-019-09913-3

On the Decidability of Membership in Matrix-exponential Semigroups

Author(s): Joël Ouaknine, Amaury Pouly, João Sousa-Pinto, James Worrell
Published in: Journal of the ACM, Issue 66/3, 2019, Page(s) 1-24, ISSN 0004-5411
DOI: 10.1145/3286487