Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Model checkers / Temporal logic / PRISM model checker / Computation tree logic / Model checking / Application software / Stochastic game / Strategy / Stochastic process / Game theory


PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2
Add to Reading List

Document Date: 2013-01-13 05:57:32

Open Document

File Size: 321,59 KB

Share Result on Facebook