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...

Descripción completa

Detalles Bibliográficos
Autores principales: Kwiatkowska, M, Parker, D, Wiltsche, C
Formato: Journal article
Publicado: Springer Verlag 2017