Quentin Guilmant

According to our database, Quentin Guilmant authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.

Quentin Guilmant, Joël Ouaknine, Isa Vialard

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2024

The 2-Dimensional Constraint Loop Problem Is Decidable.

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

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Inaproximability in Weighted Timed Games.

Quentin Guilmant, Joël Ouaknine

Proceedings of the 35th International Conference on Concurrency Theory, 2024