Recommendations
Cites work
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1500523 (Why is no real title available?)
- scientific article; zbMATH DE number 1444727 (Why is no real title available?)
- scientific article; zbMATH DE number 3257031 (Why is no real title available?)
- Algorithms for Omega-Regular Games with Imperfect Information
- Alternating automata on infinite trees
- Alternating-time temporal logic
- Assume-Guarantee Synthesis
- Automata, Languages and Programming
- Borel determinacy
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Equilibrium points in n -person games
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Fair simulation
- Game Quantification on Automatic Structures and Hierarchical Model Checking Games
- Module checking
- On epistemic temporal strategic logic
- On model checking for the \(\mu\)-calculus and its fragments
- Play to Test
- Quantitative stochastic parity games
- Reasoning about infinite computations
- Results on the propositional \(\mu\)-calculus
- The complexity of stochastic games
Cited in
(83)- The complexity of transducer synthesis from multi-sequential specifications
- On the boundary of behavioral strategies
- Equilibria for games with combined qualitative and quantitative objectives
- Nash equilibrium and bisimulation invariance
- scientific article; zbMATH DE number 1446952 (Why is no real title available?)
- A game-theoretic approach for the synthesis of complex systems
- Time-aware uniformization of winning strategies
- Propositional games with explicit strategies
- On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
- A logical description of priority separable games
- A logical structure for strategies
- 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
- The complexity of subgame perfect equilibria in quantitative reachability games
- Strategy Logic
- scientific article; zbMATH DE number 7445162 (Why is no real title available?)
- Model Checking Strategic Equilibria
- scientific article; zbMATH DE number 7327943 (Why is no real title available?)
- scientific article; zbMATH DE number 7649928 (Why is no real title available?)
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Robust equilibria in mean-payoff games
- Quantifying Bounds in Strategy Logic
- Solving parity games via priority promotion
- Stability under strategy switching
- Stochastic game logic
- An abstraction-refinement methodology for reasoning about network games
- Alternating-time temporal logics with linear past
- Results on alternating-time temporal logics with linear past
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Structured strategies in games on graphs
- Reasoning about graded strategy quantifiers
- A logical description of strategizing in social network games
- Subgame-perfect Equilibria in Mean-payoff Games (journal version)
- Expressiveness and complexity results for strategic reasoning
- Reasoning about strategies
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Intelligence in strategic games
- scientific article; zbMATH DE number 7450024 (Why is no real title available?)
- On composition of bounded-recall plans
- Representing and reasoning about game strategies
- Natural strategic ability
- Priority promotion with Parysian flair
- scientific article; zbMATH DE number 7649921 (Why is no real title available?)
- A Temporal Logic for the Interaction of Strategies
- Graph Games and Reactive Synthesis
- Taming strategy logic: non-recurrent fragments
- Model-checking iterated games
- scientific article; zbMATH DE number 7297884 (Why is no real title available?)
- Reasoning about equilibria in game-like concurrent systems
- From model checking to equilibrium checking: reactive modules for rational verification
- Logics for dynamic epistemic behavioral strategies
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- scientific article; zbMATH DE number 7599965 (Why is no real title available?)
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Stackelberg-Pareto synthesis
- The complexity of LTL rational synthesis
- Verification of multi-agent systems with public actions against strategy logic
- What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
- On the semantics of strategy logic
- Reasoning about strategies: on the model-checking problem
- Robust worst cases for parity games algorithms
- Perspective games
- Infinite-duration bidding games
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Infinite-duration poorman-bidding games
- Reasoning about causality in games
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- Propositional games with explicit strategies
- Dynamic resource allocation games
- A logic for strategy updates
- Representing strategic games and their equilibria in many-valued logics
- Assume-admissible synthesis
- 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
- Automata-theoretic decision of timed games
- Epistemic reasoning about rationality and bids in auctions
- Robust alternating-time temporal logic
- Nash equilibria in symmetric graph games with partial observation
- Differential game 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 Q979080)
