Strategy Logic

DOI10.1007/978-3-540-74407-8_5MaRDI QIDQ3525629zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Nir Piterman, Thomas A. Henzinger

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 2-person games (91A05) Automata and formal grammars in connection with logical questions (03D05) Games involving graphs (91A43) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Strategy logic
• Reasoning about strategies: on the satisfiability problem
• On the boundary of behavioral strategies
• What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
• Expressiveness and complexity results for strategic reasoning

Cited in

(52)

• On the boundary of behavioral strategies
• Dependences in strategy logic
• Dependences in strategy logic
• scientific article; zbMATH DE number 1446952 (Why is no real title available?)
• Constructive game logic
• Uniform strategies, rational relations and jumping automata
• Augmenting ATL with strategy contexts
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• Timed network games with clocks
• A logical description of priority separable games
• A logical structure for strategies
• Timed network games
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• Verifying team formation protocols with probabilistic model checking
• Model Checking Strategic Equilibria
• Stability under strategy switching
• Stochastic game logic
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Synchronous agents, verification, and blame -- a deontic view
• Structured strategies in games on graphs
• Reasoning about graded strategy quantifiers
• Strategies in games: a logic-automata study
• Timed network games
• A logical description of strategizing in social network games
• Strategic reasoning: building cognitive models from logical formulas
• Synthesis with rational environments
• Expressiveness and complexity results for strategic reasoning
• Reasoning about strategies
• Natural strategic ability
• Network-formation games with regular objectives
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Flow logic
• Flow logic
• Taming strategy logic: non-recurrent fragments
• scientific article; zbMATH DE number 7297884 (Why is no real title available?)
• Reasoning about equilibria in game-like concurrent systems
• Strategic reasoning with a bounded number of resources: the quest for tractability
• scientific article; zbMATH DE number 7599965 (Why is no real title available?)
• Reasoning About Substructures and Games
• The complexity of LTL rational synthesis
• On the semantics of strategy logic
• Reasoning about strategies: on the model-checking problem
• Strategy logic
• Hierarchical network formation games
• ATL with Strategy Contexts and Bounded Memory
• scientific article; zbMATH DE number 7438567 (Why is no real title available?)
• A logic for strategy updates
• The complexity of LTL rational synthesis
• Representing strategic games and their equilibria in many-valued logics
• Graded modalities in strategy logic
• Constructive hybrid games
• Refining strategic ability in alternating-time temporal logic

This page was built for publication: Strategy Logic

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