Recent & Upcoming Talks

2021

Stackelberg-Pareto Synthesis
Stackelberg-Pareto Synthesis
Stackelberg-Pareto Synthesis

2020

2019

Partial Solvers for Generalized Parity Games
Partial Solvers for Generalized Parity Games
Partial Solvers for Generalized Parity Games