PRISM-games: A model checker for stochastic multi-player games

Taolue Chen, V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis

Research output: Book/ReportBook

88 Citations (Scopus)
Original languageEnglish
DOIs
Publication statusPublished - 2013

Cite this