Strategy Logic
DOI10.1007/978-3-540-74407-8_5zbMATH Open1151.03327OpenAlexW4206169140MaRDI QIDQ3525629FDOQ3525629
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
Recommendations
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)
Cited In (52)
- Dependences in strategy logic
- Title not available (Why is that?)
- Dependences in strategy logic
- Constructive game logic
- Uniform strategies, rational relations and jumping automata
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- A logical description of priority separable games
- Timed network games with clocks
- Augmenting ATL with strategy contexts
- 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
- Timed network games
- Strategies in games: a logic-automata study
- A logical description of strategizing in social network games
- Reasoning about graded strategy quantifiers
- Expressiveness and complexity results for strategic reasoning
- Strategic reasoning: building cognitive models from logical formulas
- Reasoning about strategies
- Synthesis with rational environments
- Natural strategic ability
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- Taming strategy logic: non-recurrent fragments
- Flow logic
- Flow logic
- Network-formation games with regular objectives
- Title not available (Why is that?)
- Reasoning about equilibria in game-like concurrent systems
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Title not available (Why is that?)
- The complexity of LTL rational synthesis
- Reasoning About Substructures and Games
- Reasoning about strategies: on the model-checking problem
- On the semantics of strategy logic
- Strategy logic
- Hierarchical network formation games
- ATL with Strategy Contexts and Bounded Memory
- Title not available (Why is that?)
- The complexity of LTL rational synthesis
- A logic for strategy updates
- Representing strategic games and their equilibria in many-valued logics
- Graded modalities in strategy logic
- Constructive hybrid games
- On the boundary of behavioral strategies
- 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)
