On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjoern, Worrell, James
Published in Logical methods in computer science (04.03.2013)
Published in Logical methods in computer science (04.03.2013)
Get full text
Journal Article
Porous invariants for linear systems
Lefaucheux, Engel, Ouaknine, Joël, Purser, David, Worrell, James
Published in Formal methods in system design (2024)
Published in Formal methods in system design (2024)
Get full text
Journal Article
First-Order Orbit Queries
Almagor, Shaull, Ouaknine, Joël, Worrell, James
Published in Theory of computing systems (01.05.2021)
Published in Theory of computing systems (01.05.2021)
Get full text
Journal Article
Reachability problems for Markov chains
Akshay, S., Antonopoulos, Timos, Ouaknine, Joël, Worrell, James
Published in Information processing letters (01.02.2015)
Published in Information processing letters (01.02.2015)
Get full text
Journal Article
LICS 2017 foreword
Ouaknine, Joel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Sequential Relational Decomposition
Fried, Dror, Legay, Axel, Ouaknine, Joël, Vardi, Moshe Y.
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Cyclic-routing of Unmanned Aerial Vehicles
Drucker, Nir, Ho, Hsi-Ming, Ouaknine, Joël, Penn, Michal, Strichman, Ofer
Published in Journal of computer and system sciences (01.08.2019)
Published in Journal of computer and system sciences (01.08.2019)
Get full text
Journal Article
Universal Skolem Sets
Luca, Florian, Ouaknine, Joel, Worrell, James
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Deciding ω-regular properties on linear recurrence sequences
Almagor, Shaull, Karimov, Toghrul, Kelmendi, Edon, Ouaknine, Joël, Worrell, James
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
What’s decidable about linear loops?
Karimov, Toghrul, Lefaucheux, Engel, Ouaknine, Joël, Purser, David, Varonka, Anton, Whiteland, Markus A., Worrell, James
Published in Proceedings of ACM on programming languages (16.01.2022)
Published in Proceedings of ACM on programming languages (16.01.2022)
Get full text
Journal Article
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Fijalkow, Nathanaël, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James
Published in Theory of computing systems (01.07.2019)
Published in Theory of computing systems (01.07.2019)
Get full text
Journal Article
On the Expressiveness and Monitoring of Metric Temporal Logic
Hsi-Ming Ho, Joël Ouaknine, James Worrell
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Timed Temporal Logics
Bouyer, Patricia, Laroussinie, François, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published in Models, Algorithms, Logics and Tools (01.01.2017)
Published in Models, Algorithms, Logics and Tools (01.01.2017)
Get full text
Book Chapter