Model Checking Strategic Equilibria

DOI10.1007/978-3-642-00431-5_11MaRDI QIDQ3614880zbMATH OpenOpenAlexFDO

Authors Nicolas Troquard, Wiebe van der Hoek, M. J. Wooldridge

Publication date 17 March 2009

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Strategy logic
• Strategy Logic
• On the evaluation of solution concepts
• scientific article; zbMATH DE number 2063025
• Reasoning about equilibria in game-like concurrent systems

Cites work

• A course in game theory.
• A Modal Logic for Coalitional Power in Games
• Alternating-time temporal logic
• Alternative axiomatics and complexity of deliberative STIT theories
• An essay in combinatory dynamic logic
• Cylindric modal logic
• From coalition logic to STIT
• Handbook of modal logic
• scientific article; zbMATH DE number 5910643 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Hybrid languages and temporal logic
• Hybrid logics: Characterization, interpolation and complexity
• Model checking hybrid logics (with an application to semistructured data)
• On the logic of cooperation and propositional control
• Pure extensions, proof rules, and hybrid axiomatics
• Social software
• The complexity of finding Nash equilibria
• The deliberative stit: A study of action, omission, ability, and obligation

Cited in

(9)

• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• A characterization of mixed-strategy Nash equilibria in PCTL augmented with a cost quantifier
• Model Checking Logics of Strategic Ability: Complexity*
• Quantifying in extensive games
• Reasoning about equilibria in game-like concurrent systems
• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• A logical description of strategizing in social network games
• scientific article; zbMATH DE number 7533366 (Why is no real title available?)
• Theoretical Computer Science

This page was built for publication: Model Checking Strategic Equilibria

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