Tags

Model-checking

Pareto-optimality

parity objectives

Rational verification

Stackelberg non-zero sum games played on graphs

synthesis

Game Theory

Deep Learning

Generalized parity games

Parity games