The 2-dimensional constraint loop problem is decidable

DOI10.4230/LIPICS.ICALP.2024.140MaRDI QIDQ6875038zbMATH OpenFDO

Authors Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

asymptotic expansionsconvex setslinear constraints loopsMinkowski-Weyl

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: The 2-dimensional constraint loop problem is decidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6875038)