Publications

(2021). Stackelberg-Pareto Synthesis. CONCUR 2021.

PDF Cite

(2021). Stackelberg-Pareto Synthesis. CONCUR 2021.

PDF Cite

(2021). Stackelberg-Pareto Synthesis (Full Version). CoRR.

PDF Cite

(2019). Partial Solvers for Generalized Parity Games. RP 2019.

PDF Cite DOI

(2019). Partial Solvers for Generalized Parity Games (Full Version). CoRR.

PDF Cite