Automated game analysis via probabilistic model checking: a case study
From MaRDI portal
Publication:2852033
zbMATH Open1273.68220MaRDI QIDQ2852033FDOQ2852033
Authors: P. Ballarini, Michael Fisher, M. J. Wooldridge 
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000739
Recommendations
- PRISM-games: a model checker for stochastic multi-player games
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- scientific article; zbMATH DE number 1759731
- Automatic verification of competitive stochastic systems
- Automatic verification of concurrent stochastic systems
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cited In (10)
- A probabilistic model for the interaction of an agent with a network environment
- Verifying team formation protocols with probabilistic model checking
- Tools and Algorithms for the Construction and Analysis of Systems
- A procedure for analyzing hypergames
- Title not available (Why is that?)
- Out of control: reducing probabilistic models by control-state elimination
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Automatic verification of competitive stochastic systems
- Automated verification of state sequence invariants in general game playing
- Deeper model endgame analysis
Uses Software
This page was built for publication: Automated game analysis via probabilistic model checking: a case study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852033)
