Quentin Guilmant

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

Collaborative distances:

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

2025

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

Quentin Guilmant, Joël Ouaknine, Isa Vialard

CoRR, July, 2025

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