Gaspard Reghem

According to our database, Gaspard Reghem authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Branching Bisimilarity for Processes with Time-Outs.

Gaspard Reghem, Rob J. van Glabbeek

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

2023

Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete.

Thomas Brihaye, Véronique Bruyère, Gaspard Reghem

Proceedings of the Reachability Problems - 17th International Conference, 2023