Browse by People

Daviaud, Laure and Purser, David ORCID: 0000-0003-0394-1634 (2023) The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). In: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023-6-26 - 2023-6-29, Boston, USA.

Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S and Purser, David ORCID: 0000-0003-0394-1634 (2022) The Big-O Problem. Logical Methods in Computer Science, Volume.

Lefaucheux, Engel ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634 and Sharifi, Mohammadamin ORCID: 0000-0002-1987-9487 (2023) Model Checking Linear Dynamical Systems under Floating-point Rounding. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2023-4-24 - 2023-4-27, Paris, France.

Lipton, Richard, Luca, Florian, Nieuwveld, Joris, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James (2022) On the Skolem Problem and the Skolem Conjecture. In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.

Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Luca, Florian, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James (2021) The Orbit Problem for Parametric Linear Dynamical Systems. In: 32nd International Conference on Concurrency Theory (CONCUR 2021).

Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James (2022) Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications. In: 33rd International Conference on Concurrency Theory (CONCUR 2022).

Lefaucheux, Engel ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James ORCID: 0000-0001-8151-2443 (2021) Porous Invariants. .

Lefaucheux, Engel, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James (2023) Porous Invariants for Linear Systems. Formal Methods in System Design.

Bilu, Yuri, Luca, Florian, Nieuwveld, Joris, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James (2022) Skolem Meets Schanuel. In: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022).

Karimov, Toghrul ORCID: 0000-0002-9405-2332, Lefaucheux, Engel ORCID: 0000-0003-0875-300X, Ouaknine, Joël ORCID: 0000-0003-0031-9356, Purser, David ORCID: 0000-0003-0394-1634, Varonka, Anton ORCID: 0000-0001-5758-0657, Whiteland, Markus A ORCID: 0000-0002-6006-9902 and Worrell, James ORCID: 0000-0001-8151-2443 (2022) What’s decidable about linear loops? Proceedings of the ACM on Programming Languages, 6 (POPL). pp. 1-25.

Czerwiński, Wojciech, Lefaucheux, Engel, Mazowiecki, Filip, Purser, David ORCID: 0000-0003-0394-1634 and Whiteland, Markus (2022) The boundedness and zero isolation problems for weighted automata over nonnegative rationals. In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.