Inaproximability in Weighted Timed Games. - Quentin Guilmant; Joël Ouaknine (CONCUR, 2024)

The 2-Dimensional Constraint Loop Problem Is Decidable. - Quentin Guilmant; Engel Lefaucheux; Joël Ouaknine; James Worrell 001 (ICALP, 2024)

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable. - Quentin Guilmant; Joël Ouaknine; Isa Vialard (CoRR, 2025)