Partial Solvers for Generalized Parity Games. - Véronique Bruyère; Guillermo A. Pérez 001; Jean-François Raskin; Clément Tamines (RP, 2019)

Stackelberg-Pareto Synthesis. - Véronique Bruyère; Jean-François Raskin; Clément Tamines (CONCUR, 2021)

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

Pareto-Rational Verification. - Véronique Bruyère; Jean-François Raskin; Clément Tamines (CONCUR, 2022)

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

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

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)