NWin: A Tool for Counting Winning Strategies (Demonstration)

Vadim Malvone (Università degli Studi di Napoli Federico II), Aniello Murano (Università degli Studi di Napoli Federico II), Marco Tafuto (Università degli Studi di Napoli Federico II)

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.