PRISM-games: A Model Checker for Stochastic Multi-Player Games.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis

Browse the full TACAS paper archive.