PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing obj...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Kwiatkowska, M, Parker, D, Wiltsche, C
Formatua: Journal article
Argitaratua: Springer Verlag 2017