Recent & Upcoming Talks

2022

Pareto-Rational Verification
Pareto-Rational Verification

2021

Stackelberg-Pareto Synthesis
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