Date: 2013-01-13 05:57:32Theoretical 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 2Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 321,59 KBShare Document on Facebook
|