Chapitre D'ouvrage Année : 2018

Reasoning About Additional Winning Strategies in Two-Player Games

Résumé

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.
Fichier non déposé

Dates et versions

hal-03779065 , version 1 (16-09-2022)

Identifiants

Citer

Vadim Malvone, Aniello Murano. Reasoning About Additional Winning Strategies in Two-Player Games. Multi-Agent Systems and Agreement Technologies, 10767, Springer International Publishing, pp.163--171, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-01713-2_12⟩. ⟨hal-03779065⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

More