Automated game analysis via probabilistic model checking: a case study

MaRDI QIDQ2852033zbMATH OpenFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(10)

• A probabilistic model for the interaction of an agent with a network environment
• Automatic verification of competitive stochastic systems
• Automated verification of state sequence invariants in general game playing
• A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
• Verifying team formation protocols with probabilistic model checking
• Out of control: reducing probabilistic models by control-state elimination
• Deeper model endgame analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 7445154 (Why is no real title available?)
• A procedure for analyzing hypergames

Describes a project that uses

Uses Software

• PRISM

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)