Gaspard Reghem

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Multiobjective Optimization

Qualitative And Quantitative

Pspace Complete

Program Synthesis

Top Venues

Publications

Gaspard Reghem, Rob J. van Glabbeek
Branching Bisimilarity for Processes with Time-Outs. CONCUR (2024)
Thomas Brihaye, Véronique Bruyère, Gaspard Reghem
Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete. CoRR (2023)
Thomas Brihaye, Véronique Bruyère, Gaspard Reghem
Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete. RP (2023)