Strategy logic

DOI10.1016/J.IC.2009.07.004zbMATH Open1205.68197OpenAlexW2912248071MaRDI QIDQ979080FDOQ979080

Thomas A. Henzinger, Krishnendu Chatterjee, 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

• 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

zbMATH Keywords

game theoryautomata theorylogicnonzero-sum gamesATL and ATL\(^{*}\)

Mathematics Subject Classification ID

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?)
• Title not available (Why is that?)
• 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 (71)

• 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?)
• Stackelberg-Pareto synthesis
• The complexity of LTL rational synthesis
• Perspective games
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Robust alternating-time temporal logic
• Equilibria for games with combined qualitative and quantitative objectives
• Title not available (Why is that?)
• Reasoning About Strategies
• A game-theoretic approach for the synthesis of complex systems
• Time-aware uniformization of winning strategies
• Intelligence in Strategic Games
• Knowing-how under uncertainty
• A logic with revocable and refinable strategies
• 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
• Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
• Model Checking Strategic Equilibria
• Quantifying Bounds in Strategy Logic
• Solving parity games via priority promotion
• Stochastic game logic
• An abstraction-refinement methodology for reasoning about network games
• Logics for Dynamic Epistemic Behavioral Strategies
• Alternating-time temporal logics with linear past
• Infinite-Duration Bidding Games
• Robust Equilibria in Mean-Payoff 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
• Title not available (Why is that?)
• Graph Games and Reactive Synthesis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differential Game Logic
• Model-checking iterated games
• 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
• Title not available (Why is that?)
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Title not available (Why is that?)
• Verification of multi-agent systems with public actions against strategy logic
• 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?)
• Title not available (Why is that?)
• Dynamic resource allocation games
• Graded modalities in strategy logic
• Imperfect information in reactive modules games
• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Assume-admissible synthesis
• Doomsday equilibria for omega-regular games
• Automata-theoretic decision of timed games
• Epistemic reasoning about rationality and bids in auctions
• 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)