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

Research output: Book/Report › Book

88 Citations (Scopus)

Access to Document

TY - BOOK

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

AU - Chen, Taolue

AU - Forejt, V.

AU - Kwiatkowska, M.

AU - Parker, D.

AU - Simaitis, A.

PY - 2013

Y1 - 2013

UR - https://www.scopus.com/pages/publications/84874429428

U2 - 10.1007/978-3-642-36742-7_13

DO - 10.1007/978-3-642-36742-7_13

M3 - Book

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

ER -