Publications

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

PDF Cite

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

PDF Cite

Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker (2022). The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR.

PDF Cite

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

PDF Cite

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

PDF Cite

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

PDF Cite

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

PDF Cite DOI

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

PDF Cite