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 …

This study presents a framework that procedurally generates maze-like levels and leverages
an automated verification technique called model checking to verify and produce a winning …

In this thesis, we consider problem areas in game development and use probabilistic model
checking to address them. In particular, we address the problem of multiplayer game …

Playing board games is always entertaining. Since most board games are played with more
than one player, they make individuals come closer, relieve stress and also improve …

The need for effectively develo** high quality solutions for very large scale, complex
problems continues to drive research in modeling and analyzing System of Systems (SoS) …

Le tecniche di modellazione e di model checking permettono di modellare sistemi e di
verificarne proprietà attese o desiderate. In un precedente lavoro di sperimentazione, tali …