TY - RPRT TI - Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version) AU - Thomas Brihaye AU - Véronique Bruyère AU - Aline Goeminne AU - Jean-François Raskin PY - 2018 UR - https://arxiv.org/abs/1806.05544 ID - 1806.05544 ER -