Strategy logic
From MaRDI portal
Publication:979080
DOI10.1016/J.IC.2009.07.004zbMATH Open1205.68197OpenAlexW2912248071MaRDI QIDQ979080FDOQ979080
Authors: Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman 
Publication date: 25 June 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://repository.ist.ac.at/56/1/Strategy_logic.pdf
Recommendations
Formal languages and automata (68Q45) 2-person games (91A05) Logic in artificial intelligence (68T27)
Cites Work
- The complexity of stochastic games
- Equilibrium points in n -person games
- Alternating-time temporal logic
- Borel determinacy
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Algorithms for Omega-Regular Games with Imperfect Information
- Results on the propositional \(\mu\)-calculus
- Reasoning about infinite computations
- On model checking for the \(\mu\)-calculus and its fragments
- Alternating automata on infinite trees
- Title not available (Why is that?)
- Quantitative stochastic parity games
- Automata, Languages and Programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Play to Test
- Module checking
- Fair simulation
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Assume-Guarantee Synthesis
- Game Quantification on Automatic Structures and Hierarchical Model Checking Games
- On epistemic temporal strategic logic
- Title not available (Why is that?)
Cited In (83)
- Title not available (Why is that?)
- A logical description of priority separable games
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Subgame-perfect Equilibria in Mean-payoff Games (journal version)
- Priority promotion with Parysian flair
- Taming strategy logic: non-recurrent fragments
- Title not available (Why is that?)
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Stackelberg-Pareto synthesis
- The complexity of LTL rational synthesis
- Perspective games
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Propositional games with explicit strategies
- Robust alternating-time temporal logic
- The complexity of transducer synthesis from multi-sequential specifications
- Equilibria for games with combined qualitative and quantitative objectives
- A game-theoretic approach for the synthesis of complex systems
- Time-aware uniformization of winning strategies
- On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
- A logical structure for strategies
- Propositional games with explicit strategies
- Knowing-how under uncertainty
- A logic with revocable and refinable strategies
- The complexity of subgame perfect equilibria in quantitative reachability games
- Multi-player games with LDL goals over finite traces
- Characterization, verification and generation of strategies in games with resource constraints
- Strategy Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Model Checking Strategic Equilibria
- Quantifying Bounds in Strategy Logic
- Robust equilibria in mean-payoff games
- Solving parity games via priority promotion
- Stability under strategy switching
- Stochastic game logic
- An abstraction-refinement methodology for reasoning about network games
- Results on alternating-time temporal logics with linear past
- Alternating-time temporal logics with linear past
- Structured strategies in games on graphs
- A logical description of strategizing in social network games
- Reasoning about graded strategy quantifiers
- Expressiveness and complexity results for strategic reasoning
- Reasoning about strategies
- Intelligence in strategic games
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Title not available (Why is that?)
- On composition of bounded-recall plans
- Title not available (Why is that?)
- Representing and reasoning about game strategies
- Natural strategic ability
- A Temporal Logic for the Interaction of Strategies
- Graph Games and Reactive Synthesis
- Title not available (Why is that?)
- Model-checking iterated games
- Logics for dynamic epistemic behavioral strategies
- From model checking to equilibrium checking: reactive modules for rational verification
- Reasoning about equilibria in game-like concurrent systems
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- Verification of multi-agent systems with public actions against strategy logic
- Infinite-duration bidding games
- What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
- Reasoning about strategies: on the model-checking problem
- Robust worst cases for parity games algorithms
- On the semantics of strategy logic
- Reasoning about causality in games
- Infinite-duration poorman-bidding games
- Title not available (Why is that?)
- Dynamic resource allocation games
- A logic for strategy updates
- Representing strategic games and their equilibria in many-valued logics
- Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
- Graded modalities in strategy logic
- Imperfect information in reactive modules games
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Assume-admissible synthesis
- Automata-theoretic decision of timed games
- Epistemic reasoning about rationality and bids in auctions
- Differential game logic
- On the boundary of behavioral strategies
- Nash equilibrium and bisimulation invariance
- Nash equilibria in symmetric graph games with partial observation
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 Q979080)
