Balancing Turn-Based Games With Chained Strategy Generation

Probabilistic model checking can overcome much of the complexity inherent in balancing games. Game balancing is the careful maintenance of relationships between the ways in which a game can be played, to ensure that no single way is strictly better than all others, and that players are offered a wide variety of ways to play successfully. We introduce a novel approach toward automating game balancing using probabilistic model checking called chained strategy generation (CSG). This involves generating chains of adversarial strategies, which mimic the way players adapt their approach during repeated plays of a game. We use CSG to map out the evolving metagame. The trends identified can allow game developers to identify strategies, which will be too strong, and ways of playing the game, which a player may want to use, but are never viable for successful competitive play. We introduce a case study, a game called RPGLite, and use CSG to compare five candidate configurations for the game. We show how to determine which configurations of RPGLite lead to a more fair and interesting experience for players. We also identify unexpected trends in how the strategies evolve. Our approach introduces a new technique for improving game development and player experience.

[1]  Anne Condon,et al.  On Algorithms for Simple Stochastic Games , 1990, Advances In Computational Complexity Theory.

[2]  Vincent Corruble,et al.  Automatic computer game balancing: a reinforcement learning approach , 2005, AAMAS '05.

[3]  Ernest Adams,et al.  Fundamentals of Game Design , 2006 .

[4]  Christel Baier,et al.  Principles of model checking , 2008 .

[5]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[6]  Zoran Popovic,et al.  Evaluating Competitive Game Balance with Restricted Play , 2012, AIIDE.

[7]  Taolue Chen,et al.  Quantitative verification of implantable cardiac pacemakers over hybrid heart models , 2014, Inf. Comput..

[8]  Julian Togelius,et al.  Open Trumps, a data game , 2014, FDG.

[9]  Paolo Milazzo,et al.  Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design , 2015, 2015 IEEE/ACM 4th International Workshop on Games and Software Engineering.

[10]  Günter Rudolph,et al.  Demonstrating the Feasibility of Automatic Game Balancing , 2016, GECCO.

[11]  Mike Preuss,et al.  An integrated process for game balancing , 2016, 2016 IEEE Conference on Computational Intelligence and Games (CIG).

[12]  Michael S. Debus Metagames: on the ontology of games outside of games , 2017, FDG.

[13]  Riccardo Poli,et al.  Automated Game Balancing in Ms PacMan and StarCraft Using Evolutionary Algorithms , 2017, EvoApplications.

[14]  Marta Z. Kwiatkowska,et al.  PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives , 2017, International Journal on Software Tools for Technology Transfer.

[15]  Manuel Mazzara,et al.  Model Checking in Multiplayer Games Development , 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).

[16]  Michael G. Madden,et al.  Skilled Experience Catalogue: A Skill-Balancing Mechanism for Non-Player Characters using Reinforcement Learning , 2018, 2018 IEEE Conference on Computational Intelligence and Games (CIG).

[17]  Gethin Norman,et al.  Strategy Synthesis for Autonomous Agents Using PRISM , 2018, NFM.