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

Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove

Browse the full ICSE paper archive.