EDBT 2026 Demo / reviewers in the wild / expert
Quentin Guilmant
dblp:378/1165
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0004-7097-0595ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
Quentin Guilmant, Joël Ouaknine, Isa Vialard |
FoSSaCS | 1 |
| 2024 | Inaproximability in Weighted Timed Games
Quentin Guilmant, Joël Ouaknine |
CONCUR | 1 |
| 2024 | The 2-Dimensional Constraint Loop Problem Is DecidableabstractA linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of the loop body. In this paper we consider the problem of determining whether such a loop terminates, i.e., whether all maximal executions are finite, regardless of how the loop is initialised and how the non-determinism in the loop body is resolved. We focus on the variant of the termination problem in which the loop variables range over ℝ. Our main result is that the termination problem is decidable over the reals in dimension 2. A more abstract formulation of our main result is that it is decidable whether a binary relation on ℝ² that is given as a conjunction of linear constraints is well-founded. Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell 0001 |
ICALP | 1 |