Vadim Malvone, Aniello Murano. Reasoning About Additional Winning Strategies in Two-Player Games. In Francesco Belardinelli, Estefania Argente, editors, Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers. Volume 10767 of Lecture Notes in Computer Science, pages 163-171, Springer, 2017. [doi]
Abstract is missing.