Quentin Guilmant

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.
Proceedings of the Foundations of Software Science and Computation Structures, 2026

2024
The 2-Dimensional Constraint Loop Problem Is Decidable.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Inaproximability in Weighted Timed Games.
Proceedings of the 35th International Conference on Concurrency Theory, 2024


  Loading...