Strategy logic
From MaRDI portal
Publication:979080
DOI10.1016/j.ic.2009.07.004zbMath1205.68197OpenAlexW2912248071MaRDI QIDQ979080
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
2-person games (91A05) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)
Related Items
Differential Game Logic, Equilibria for games with combined qualitative and quantitative objectives, Characterization, verification and generation of strategies in games with resource constraints, An abstraction-refinement methodology for reasoning about network games, Graph Games and Reactive Synthesis, The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games, Practical verification of multi-agent systems against \textsc{Slk} specifications, Graded modalities in strategy logic, Imperfect information in reactive modules games, Reasoning about equilibria in game-like concurrent systems, Unnamed Item, From model checking to equilibrium checking: reactive modules for rational verification, Model-checking iterated games, Automata-theoretic decision of timed games, Unnamed Item, Robust worst cases for parity games algorithms, Reasoning About Strategies, Taming strategy logic: non-recurrent fragments, Infinite-duration poorman-bidding games, On the semantics of strategy logic, Reasoning about causality in games, Symbolic verification and strategy synthesis for turn-based stochastic games, Reasoning about Quality and Fuzziness of Strategic Behaviors, Unnamed Item, Unnamed Item, Subgame-perfect Equilibria in Mean-payoff Games (journal version), Unnamed Item, Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism, Unnamed Item, Unnamed Item, Automated temporal equilibrium analysis: verification and synthesis of multi-player games, Unnamed Item, Multi-player games with LDL goals over finite traces, Epistemic GDL: a logic for representing and reasoning about imperfect information games, Solving parity games via priority promotion, Intelligence in Strategic Games, Alternating-time temporal logics with linear past, Assume-admissible synthesis, Nash equilibria in symmetric graph games with partial observation, Doomsday equilibria for omega-regular games, Unnamed Item, Stochastic game logic, Dynamic resource allocation games, Knowing-how under uncertainty, Natural strategic ability, Unnamed Item, On composition of bounded-recall plans, Logics for Dynamic Epistemic Behavioral Strategies, Robust Equilibria in Mean-Payoff Games, Quantifying Bounds in Strategy Logic, Epistemic reasoning about rationality and bids in auctions, A Temporal Logic for the Interaction of Strategies, Unnamed Item, Infinite-Duration Bidding Games, Verification of multi-agent systems with public actions against strategy logic, Representing and reasoning about game strategies, A game-theoretic approach for the synthesis of complex systems, A logic with revocable and refinable strategies, Time-aware uniformization of winning strategies, Good-for-Game QPTL: An Alternating Hodges Semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- Alternating automata on infinite trees
- The complexity of stochastic games
- Borel determinacy
- Reasoning about infinite computations
- Module checking
- Fair simulation
- Play to Test
- Alternating-time temporal logic
- Algorithms for Omega-Regular Games with Imperfect Information
- Game Quantification on Automatic Structures and Hierarchical Model Checking Games
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Automata, Languages and Programming
- Assume-Guarantee Synthesis
- Equilibrium points in n -person games
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- On model checking for the \(\mu\)-calculus and its fragments
