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; Storm; PRALINE; UPPAAL TIGA; MOCHA; Uppaal; EVE; Uppaal Stratego; GitHub; Gambit; z3; CPLEX; PGSolver; NuSMV; PASS Cited in: 37 Documents 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 87 Authors 11 Kwiatkowska, Marta Z. 8 Parker, David F. 6 Norman, Gethin 5 Křetínský, Jan 4 Santos, Gabriel Pinheiro Alves 4 Weininger, Maximilian 3 Gutierrez, Julian 3 Slivinskiy, Alexander 3 Wooldridge, Michael J. 2 Chen, Taolue 2 Eisentraut, Julia 2 Forejt, Vojtěch 2 Harrenstein, Paul 2 Jamroga, Wojciech 2 Perelli, Giuseppe 2 Ramneantu, Emanuel 1 Alur, Rajeev 1 Azeem, Muqsit 1 Baier, Christel 1 Bansal, Suguman 1 Basset, Nicolas 1 Bastani, Osbert 1 Bersani, Marcello Maria 1 Castro, Pablo F. 1 D’Argenio, Pedro Rubén 1 Dehnert, Christian 1 Demasi, Ramiro 1 Dräger, Klaus 1 Drechsler, Rolf 1 Elfar, Mahmoud 1 Enevoldsen, Søren 1 Evangelidis, Alexandros 1 Fraser, Douglas 1 Gebler, Daniel E. 1 Giaquinta, Ruben 1 Hahn, Ernst Moritz 1 Hayhoe, Mary 1 Hlaing, Swe Zin 1 Hoffmann, Ruth 1 Ireland, Murray 1 Jansen, David N. 1 Jansen, Nils 1 Jensen, Mathias Claus 1 Jothimurugan, Kishor 1 Junges, Sebastian 1 Katoen, Joost-Pieter 1 Kelmendi, Edon 1 Konikowska, Beata 1 Kurpiewski, Damian 1 Larsen, Kim Guldstrand 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Malvone, Vadim 1 Mariegaard, Anders 1 Menghi, Claudio 1 Miller, Alice Ann 1 Murano, Aniello 1 Najib, Muhammad 1 Nguyen, Hoang Nga 1 Pajic, Miroslav 1 Pelliccione, Patrizio 1 Penczek, Wojciech 1 Piribauer, Jakob 1 Piterman, Nir 1 Primiero, Giuseppe 1 Putruele, Luciano 1 Raimondi, Franco 1 Rakib, Abdur 1 Rossi, Matteo A. C. 1 Rungta, Neha 1 Schewe, Sven 1 Schmuck, Anne-Kathrin 1 Simaitis, Aistis 1 Smolka, Scott A. 1 Soldo, Matteo 1 Soudjani, Sadegh 1 Srba, Jiří 1 Svoreňová, Mária 1 Topcu, Ufuk 1 Turrini, Andrea 1 Ujma, Mateusz 1 Volpato, Michele 1 Wang, Yu 1 Wiltsche, Clemens 1 Zaw, Hein Htoo 1 Zhang, Lijun 1 Zhang, Ruohan all top 5 Cited in 13 Serials 3 Information and Computation 2 Artificial Intelligence 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 Journal of Logic, Language and Information 1 European Journal of Control 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 TheoretiCS all top 5 Cited in 6 Fields 34 Computer science (68-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Mathematical logic and foundations (03-XX) 6 Operations research, mathematical programming (90-XX) 5 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) Citations by Year