Publications

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. 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