@inproceedings{a3c590bdeb4640c5ba46e6dff28f5bef,
title = "Reasoning about additional winning strategies in two-player games",
abstract = "In game theory, deciding whether a designed player wins a game corresponds to check whether he has a winning strategy. There are situations in which it is important to know whether some extra winning strategy also exists. In this paper we investigate this question over two-player turn-based games under safety and fairness objectives. We provide an automata-based technique that allows to decide in polynomial-time whether the game admits more than one winning strategy.",
author = "Vadim Malvone and Aniello Murano",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 15th European Conference on Multi-Agent Systems, EUMAS 2017 and the 5th International Conference on Agreement Technologies, AT 2017 ; Conference date: 14-12-2017 Through 15-12-2017",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-01713-2\_12",
language = "English",
isbn = "9783030017125",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "163--171",
editor = "Francesco Belardinelli and Estefan{\'i}a Argente",
booktitle = "Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Revised Selected Papers",
}