Tags

Model-checking

Omega-regular objectives

Pareto-optimality

Rational verification

algorithmic verification

Reactive synthesis

zero-sum games

parity objectives

Stackelberg non-zero sum games played on graphs

synthesis