@inproceedings{60ea526cf75c451686694258f67aa3b7,
title = "NWin: A tool for counting winning strategies",
abstract = "We present NWin, a tool that allows to count all different winning strategies in two-player turn-based games under the reachability condition. NWin uses a graphical interface to build the game model and collect all acyclic and cyclic winning strategies. By means of benchmarks over random games we show that NWin has a good performance in practice.",
keywords = "Game theory, Reachability condition, Strategic reasoning",
author = "Vadim Malvone and Aniello Murano and Marco Tafuto",
note = "Publisher Copyright: Copyright {\textcopyright} 2016, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016 ; Conference date: 09-05-2016 Through 13-05-2016",
year = "2016",
month = jan,
day = "1",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "1501--1503",
booktitle = "AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems",
}