Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design

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]

Abstract

Abstract is missing.