Model-checking iterated games

DOI10.1007/978-3-642-36742-7_11MaRDI QIDQ5326322zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

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

Describes a project that uses

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)