Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
decidability of the constrained existence of an equilibrium
scientific article