Model-checking iterated games

DOI10.1007/978-3-642-36742-7_11zbMATH Open1381.68167OpenAlexW195674926MaRDI QIDQ5326322FDOQ5326322

Authors: Chung-Hao Huang, Sven Schewe, Farn Wang 

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_11

Recommendations

• Model-checking iterated games
• Synthesizing coalitions for multi-agent games
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• On the Expressiveness and Complexity of ATL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (10)

• Augmenting ATL with strategy contexts
• Tools and Algorithms for the Construction and Analysis of Systems
• Synthesizing coalitions for multi-agent games
• Model-checking iterated games
• Reasoning about strategies: on the model-checking problem
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• On-the-Fly Techniques for Game-Based Software Model Checking
• Pushdown processes: Games and model-checking
• A cooperation logic for declaration structures
• Automated verification of state sequence invariants in general game playing

Uses Software

• SPIN

This page was built for publication: Model-checking iterated games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326322)