Stackelberg-Pareto Synthesis (Extended Version). - Véronique Bruyère; Baptiste Fievet; Jean-François Raskin; Clément Tamines (CoRR, 2022)

Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games". - Mikael Bisgaard Dahlsen-Jensen; Jaco van de Pol; Laure Petrucci; Baptiste Fievet (Zenodo, 2023)

On-The-Fly Algorithm for Reachability in Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (TACAS (3), 2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2024)

Stackelberg-Pareto Synthesis. - Véronique Bruyère; Baptiste Fievet; Jean-François Raskin; Clément Tamines (ACM Trans. Comput. Log., 2024)

Controller Synthesis for Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2025)