Tags

Model-checking

Omega-regular objectives

Pareto-optimality

Rational verification

parity objectives

Stackelberg non-zero sum games played on graphs

synthesis

Game Theory

Deep Learning

Generalized parity games