PRISM-games swMATH ID: 12934 Software Authors: Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Description: PRISM-games: a model checker for stochastic multi-player games. We present PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules language and properties are expressed using rPATL, which extends the well-known logic ATL with operators to reason about probabilities, various reward-based measures, quantitative properties and precise bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface and simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality to synthesise optimal player strategies, explore or export them, and verify other properties under the specified strategy. Homepage: http://www.prismmodelchecker.org/games/ Related Software: PRISM; MCMAS; GIST; EAGLE; GAVS; MCMAS-SLK; MOCHA; Uppaal; UPPAAL TIGA; PRALINE; EVE; GitHub; PGSolver; NuSMV; PASS; QUASY; Storm; dot; GAMUT; Gambit Cited in: 23 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 2013 all top 5 Cited by 59 Authors 7 Kwiatkowska, Marta Z. 3 Gutierrez, Julian 3 Wooldridge, Michael J. 2 Chen, Taolue 2 Forejt, Vojtěch 2 Harrenstein, Paul 2 Jamroga, Wojciech 2 Křetínský, Jan 2 Norman, Gethin 2 Perelli, Giuseppe 2 Weininger, Maximilian 1 Basset, Nicolas 1 Bersani, Marcello Maria 1 Dehnert, Christian 1 Dräger, Klaus 1 Drechsler, Rolf 1 Eisentraut, Julia 1 Enevoldsen, Søren 1 Fraser, Douglas 1 Gebler, Daniel E. 1 Giaquinta, Ruben 1 Hahn, Ernst Moritz 1 Hlaing, Swe Zin 1 Hoffmann, Ruth 1 Ireland, Murray 1 Jansen, David N. 1 Jensen, Mathias Claus 1 Kelmendi, Edon 1 Konikowska, Beata 1 Kurpiewski, Damian 1 Larsen, Kim Guldstrand 1 Malvone, Vadim 1 Mariegaard, Anders 1 Menghi, Claudio 1 Miller, Alice Ann 1 Murano, Aniello 1 Najib, Muhammad 1 Pelliccione, Patrizio 1 Penczek, Wojciech 1 Piterman, Nir 1 Primiero, Giuseppe 1 Raimondi, Franco 1 Ramneantu, Emanuel 1 Rossi, Matteo A. C. 1 Rungta, Neha 1 Santos, Gabriel Pinheiro Alves 1 Schewe, Sven 1 Simaitis, Aistis 1 Slivinskiy, Alexander 1 Smolka, Scott A. 1 Soldo, Matteo 1 Srba, Jiří 1 Svoreňová, Mária 1 Turrini, Andrea 1 Ujma, Mateusz 1 Volpato, Michele 1 Wiltsche, Clemens 1 Zaw, Hein Htoo 1 Zhang, Lijun all top 5 Cited in 10 Serials 2 Artificial Intelligence 2 Information and Computation 2 Formal Aspects of Computing 2 Logical Methods in Computer Science 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Formal Methods in System Design 1 European Journal of Control 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science all top 5 Cited in 6 Fields 22 Computer science (68-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year