@Inproceedings{EPTCS277.2, author = {Brihaye, Thomas and Bruy\`ere, V\'eronique and Goeminne, Aline and Raskin, Jean-Fran\c{c}ois}, year = {2018}, title = {Constrained Existence Problem for Weak Subgame Perfect Equilibria with $\omega$-Regular Boolean Objectives}, editor = {Orlandini, Andrea and Zimmermann, Martin}, booktitle = {{\rm Proceedings Ninth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Saarbr\"ucken, Germany, 26-28th September 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {277}, publisher = {Open Publishing Association}, pages = {16-29}, doi = {10.4204/EPTCS.277.2}, }