Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove. Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. In 4th IEEE/ACM International Workshop on Games and Software Engineering, GAS 2015, Florence, Italy, May 18, 2015. pages 29-35, IEEE, 2015. [doi]