default search action
Joël Ouaknine
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation: Max Planck Institute for Software Systems, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j40]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous invariants for linear systems. Formal Methods Syst. Des. 63(1): 235-271 (2024) - [c133]Quentin Guilmant, Joël Ouaknine:
Inaproximability in Weighted Timed Games. CONCUR 2024: 27:1-27:15 - [c132]Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer:
Linear dynamical systems with continuous weight functions. HSCC 2024: 22:1-22:11 - [c131]Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
The 2-Dimensional Constraint Loop Problem Is Decidable. ICALP 2024: 140:1-140:21 - [c130]Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. ICALP 2024: 144:1-144:15 - [c129]Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell:
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS 2024: 11:1-11:14 - [c128]Julian D'Costa, Joël Ouaknine, James Worrell:
Nonnegativity Problems for Matrix Semigroups. STACS 2024: 27:1-27:16 - [i63]Gorav Jindal, Joël Ouaknine:
On the Counting Complexity of the Skolem Problem. CoRR abs/2403.00098 (2024) - [i62]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Multiple Reachability in Linear Dynamical Systems. CoRR abs/2403.06515 (2024) - [i61]Pavol Kebis, Florian Luca, Joël Ouaknine, Andrew Scoones, James Worrell:
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words. CoRR abs/2405.05279 (2024) - [i60]Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell:
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. CoRR abs/2405.07953 (2024) - [i59]Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell:
The 2-Dimensional Constraint Loop Problem is Decidable. CoRR abs/2405.12992 (2024) - [i58]Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. CoRR abs/2406.15087 (2024) - [i57]Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR abs/2407.05191 (2024) - 2023
- [j39]Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Zeros of Exponential Polynomials. J. ACM 70(4): 26:1-26:26 (2023) - [j38]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
On Strongest Algebraic Program Invariants. J. ACM 70(5): 29:1-29:22 (2023) - [j37]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell:
On the 𝑝-adic zeros of the Tribonacci sequence. Math. Comput. 93(347): 1333-1353 (2023) - [c127]George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell:
Positivity Problems for Reversible Linear Recurrence Sequences. ICALP 2023: 130:1-130:17 - [c126]Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine:
Reachability in Injective Piecewise Affine Maps. LICS 2023: 1-11 - [c125]Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell:
The Power of Positivity. LICS 2023: 1-11 - [c124]Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi:
Model Checking Linear Dynamical Systems under Floating-point Rounding. TACAS (1) 2023: 47-65 - [i56]Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine:
Reachability in Injective Piecewise Affine Maps. CoRR abs/2301.09752 (2023) - [i55]Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell:
Skolem Meets Bateman-Horn. CoRR abs/2308.01152 (2023) - [i54]Florian Luca, Joël Ouaknine, James Worrell:
Transcendence of Sturmian Numbers over an Algebraic Base. CoRR abs/2308.13657 (2023) - [i53]Valérie Berthé, Toghrul Karimov, Joël Ouaknine, Mihir Vahanwala, James Worrell:
The Monadic Theory of Toric Words. CoRR abs/2311.04895 (2023) - [i52]Julian D'Costa, Joël Ouaknine, James Worrell:
Nonnegativity Problems for Matrix Semigroups. CoRR abs/2311.06241 (2023) - 2022
- [j36]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [j35]Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell:
What's decidable about linear loops? Proc. ACM Program. Lang. 6(POPL): 1-25 (2022) - [j34]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Trans. Comput. Log. 23(2): 9:1-9:20 (2022) - [c123]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design 2022: 21-38 - [c122]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR 2022: 10:1-10:16 - [c121]Florian Luca, Joël Ouaknine, James Worrell:
Algebraic Model Checking for Discrete Linear Dynamical Systems. FORMATS 2022: 3-15 - [c120]Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
On the Skolem Problem and the Skolem Conjecture. LICS 2022: 5:1-5:9 - [c119]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
Skolem Meets Schanuel. MFCS 2022: 20:1-20:15 - [c118]Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell:
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. MFCS 2022: 39:1-39:14 - [c117]Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell:
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS 2022: 40:1-40:13 - [c116]Florian Luca, Joël Ouaknine, James Worrell:
A Universal Skolem Set of Positive Lower Density. MFCS 2022: 73:1-73:12 - [i51]Julian D'Costa, Toghrul Karimov, Joël Ouaknine, Mahmoud Salamati, James Worrell:
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. CoRR abs/2204.12253 (2022) - [i50]Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell:
Skolem Meets Schanuel. CoRR abs/2204.13417 (2022) - [i49]Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable about Discrete Linear Dynamical Systems? CoRR abs/2206.11412 (2022) - [i48]Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell:
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. CoRR abs/2207.01550 (2022) - [i47]Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi:
Model Checking Linear Dynamical Systems under Floating-point Rounding. CoRR abs/2211.04301 (2022) - 2021
- [j33]Mikolaj Bojanczyk, Thomas Brihaye, Christoph Haase, Slawomir Lasota, Joël Ouaknine, Igor Potapov:
Preface. Inf. Comput. 277: 104579 (2021) - [j32]Shaull Almagor, Joël Ouaknine, James Worrell:
First-Order Orbit Queries. Theory Comput. Syst. 65(4): 638-661 (2021) - [j31]Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5(POPL): 1-24 (2021) - [c115]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous Invariants. CAV (2) 2021: 172-194 - [c114]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR 2021: 28:1-28:17 - [c113]Eike Neumann, Joël Ouaknine, James Worrell:
Decision Problems for Second-Order Holonomic Recurrences. ICALP 2021: 99:1-99:20 - [c112]Florian Luca, Joël Ouaknine, James Worrell:
Universal Skolem Sets. LICS 2021: 1-6 - [c111]Joël Ouaknine:
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). MFCS 2021: 3:1-3:1 - [c110]Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell:
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. MFCS 2021: 33:1-33:21 - [c109]Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell:
The Pseudo-Skolem Problem is Decidable. MFCS 2021: 34:1-34:21 - [c108]George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell:
On Positivity and Minimality for Second-Order Holonomic Sequences. MFCS 2021: 67:1-67:15 - [i46]Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell:
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR abs/2104.10634 (2021) - [i45]Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell:
Porous Invariants. CoRR abs/2106.00662 (2021) - [i44]Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell:
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. CoRR abs/2107.02060 (2021) - 2020
- [c107]Eike Neumann, Joël Ouaknine, James Worrell:
On Ranking Function Synthesis and Termination for Polynomial Programs. CONCUR 2020: 15:1-15:15 - [c106]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CONCUR 2020: 32:1-32:17 - [c105]Joël Ouaknine:
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). FSTTCS 2020: 4:1-4:3 - [c104]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland:
Reachability in Dynamical Systems with Rounding. FSTTCS 2020: 36:1-36:17 - [c103]Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
Invariants for Continuous Linear Dynamical Systems. ICALP 2020: 107:1-107:15 - [c102]George Kenison, Richard Lipton, Joël Ouaknine, James Worrell:
On the skolem problem and prime powers. ISSAC 2020: 289-296 - [c101]Toghrul Karimov, Joël Ouaknine, James Worrell:
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. MFCS 2020: 54:1-54:14 - [c100]Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell:
How Fast Can You Escape a Compact Polytope? STACS 2020: 49:1-49:11 - [i43]Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell:
Invariants for Continuous Linear Dynamical Systems. CoRR abs/2004.11661 (2020) - [i42]George Kenison, Richard Lipton, Joël Ouaknine, James Worrell:
On the Skolem Problem and Prime Powers. CoRR abs/2006.07432 (2020) - [i41]Toghrul Karimov, Joël Ouaknine, James Worrell:
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. CoRR abs/2007.02911 (2020) - [i40]George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell:
On Positivity and Minimality for Second-Order Holonomic Sequences. CoRR abs/2007.12282 (2020) - [i39]Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland:
Reachability in Dynamical Systems with Rounding. CoRR abs/2009.13353 (2020) - [i38]Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR abs/2010.14432 (2020)
2010 – 2019
- 2019
- [j30]Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the Decidability of Membership in Matrix-exponential Semigroups. J. ACM 66(3): 15:1-15:24 (2019) - [j29]Nir Drucker, Hsi-Ming Ho, Joël Ouaknine, Michal Penn, Ofer Strichman:
Cyclic-routing of Unmanned Aerial Vehicles. J. Comput. Syst. Sci. 103: 18-45 (2019) - [j28]Hsi-Ming Ho, Joël Ouaknine, James Worrell:
On the Expressiveness and Monitoring of Metric Temporal Logic. Log. Methods Comput. Sci. 15(2) (2019) - [j27]Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory Comput. Syst. 63(5): 1027-1048 (2019) - [c99]Joël Ouaknine:
Program Invariants (Invited Talk). CONCUR 2019: 3:1-3:1 - [c98]Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the decidability of reachability in linear time-invariant systems. HSCC 2019: 77-86 - [c97]Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell:
On Reachability Problems for Low-Dimensional Matrix Semigroups. ICALP 2019: 44:1-44:15 - [c96]Mehran Hosseini, Joël Ouaknine, James Worrell:
Termination of Linear Loops over the Integers. ICALP 2019: 118:1-118:13 - [c95]Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
On the Monniaux Problem in Abstract Interpretation. SAS 2019: 162-180 - [c94]Shaull Almagor, Joël Ouaknine, James Worrell:
The Semialgebraic Orbit Problem. STACS 2019: 6:1-6:15 - [i37]Shaull Almagor, Joël Ouaknine, James Worrell:
The Semialgebraic Orbit Problem. CoRR abs/1901.11023 (2019) - [i36]Mehran Hosseini, Joël Ouaknine, James Worrell:
On Termination of Integer Linear Loops. CoRR abs/1902.07465 (2019) - [i35]Thomas Colcombet, Joël Ouaknine, Pavel Semukhin, James Worrell:
On reachability problems for low dimensional matrix semigroups. CoRR abs/1902.09597 (2019) - [i34]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CoRR abs/1902.10452 (2019) - [i33]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. CoRR abs/1903.01368 (2019) - [i32]Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
On the Monniaux Problem in Abstract Interpretation. CoRR abs/1907.08257 (2019) - 2018
- [j26]Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell:
Model Checking Flat Freeze LTL on One-Counter Automata. Log. Methods Comput. Sci. 14(4) (2018) - [j25]Joël Ouaknine, Igor Potapov, James Worrell:
Reachability Problems 2014: Special issue. Theor. Comput. Sci. 735: 1 (2018) - [c93]Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell:
Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR 2018: 42:1-42:15 - [c92]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Linear Loops. ICALP 2018: 114:1-114:14 - [c91]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC 2018: 472-492 - [c90]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [c89]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
Polynomial Invariants for Affine Programs. LICS 2018: 530-539 - [p3]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [i31]Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell:
Polynomial Invariants for Affine Programs. CoRR abs/1802.01810 (2018) - [i30]Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the Decidability of Reachability in Linear Time-Invariant Systems. CoRR abs/1802.06575 (2018) - [i29]Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell:
O-Minimal Invariants for Linear Loops. CoRR abs/1802.09263 (2018) - [i28]Hsi-Ming Ho, Joël Ouaknine, James Worrell:
On the Expressiveness and Monitoring of Metric Temporal Logic. CoRR abs/1803.02653 (2018) - [i27]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR abs/1805.11550 (2018) - [i26]Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell:
Effective Divergence Analysis for Linear Recurrence Sequences. CoRR abs/1806.07740 (2018) - 2017
- [j24]Daniel Bundala, Joël Ouaknine:
On parametric timed automata and one-counter machines. Inf. Comput. 253: 272-303 (2017) - [c88]Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell:
Timed Temporal Logics. Models, Algorithms, Logics and Tools 2017: 211-230 - [c87]Joël Ouaknine, João Sousa Pinto, James Worrell:
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. HSCC 2017: 11-17 - [c86]Shaull Almagor, Joël Ouaknine, James Worrell:
The Polytope-Collision Problem. ICALP 2017: 24:1-24:14 - [c85]Joël Ouaknine:
LICS 2017 foreword. LICS 2017: ii-iv - [c84]Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. STACS 2017: 29:1-29:13 - [i25]Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. CoRR abs/1701.02162 (2017) - 2016
- [j23]Christoph Haase, Joël Ouaknine, James Worrell:
Relating Reachability Problems in Timed and Counter Automata. Fundam. Informaticae 143(3-4): 317-338 (2016) - [j22]Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Complexity of the Orbit Problem. J. ACM 63(3): 23:1-23:18 (2016) - [j21]Ranko Lazic, Joël Ouaknine, James Worrell:
Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete. ACM Trans. Comput. Log. 17(3): 16 (2016) - [c83]Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell:
Model Checking Flat Freeze LTL on One-Counter Automata. CONCUR 2016: 29:1-29:14 - [c82]Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Skolem Problem for Continuous Linear Dynamical Systems. ICALP 2016: 100:1-100:13 - [c81]Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell:
Proving the Herman-Protocol Conjecture. ICALP 2016: 104:1-104:12 - [c80]Ventsislav Chonev, Joël Ouaknine, James Worrell:
On Recurrent Reachability for Continuous Linear Dynamical Systems. LICS 2016: 515-524 - [c79]Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
Solvability of Matrix-Exponential Equations. LICS 2016: 798-806 - [i24]Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
Solvability of Matrix-Exponential Equations. CoRR abs/1601.05002 (2016) - [i23]Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell:
Model Checking Flat Freeze LTL on One-Counter Automata. CoRR abs/1606.02643 (2016) - [i22]Shaull Almagor, Joël Ouaknine, James Worrell:
The Polytope-Collision Problem. CoRR abs/1611.01344 (2016) - 2015
- [j20]S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell:
Reachability problems for Markov chains. Inf. Process. Lett. 115(2): 155-158 (2015) - [j19]Joël Ouaknine, James Worrell:
On linear recurrence sequences and loop termination. ACM SIGLOG News 2(2): 4-13 (2015) - [c78]Hsi-Ming Ho, Joël Ouaknine:
The Cyclic-Routing UAV Problem is PSPACE-Complete. FoSSaCS 2015: 328-342 - [c77]Antonia Lechner, Joël Ouaknine, James Worrell:
On the Complexity of Linear Arithmetic with Divisibility. LICS 2015: 667-676 - [c76]Ventsislav Chonev, Joël Ouaknine, James Worrell:
The Polyhedron-Hitting Problem. SODA 2015: 940-956 - [c75]