共 50 条
- [1] Multi-player Equilibria Verification for Concurrent Stochastic Games QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2020), 2020, 12289 : 74 - 95
- [2] PRISM-games: A Model Checker for Stochastic Multi-Player Games TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 185 - 191
- [4] Average abundancy of cooperation in multi-player games with random payoffs Journal of Mathematical Biology, 2022, 85
- [8] Multi-Player Flow Games PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 104 - 112