Tags

parity objectives

Stackelberg non-zero sum games played on graphs

synthesis

Game Theory

Deep Learning

Generalized parity games

Parity games

Partial solvers