The following pages link to Strategy logic (Q979080):
Displayed 50 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Assume-admissible synthesis (Q520340) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Stochastic game logic (Q715046) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Epistemic reasoning about rationality and bids in auctions (Q2055787) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- Characterization, verification and generation of strategies in games with resource constraints (Q2125548) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Dynamic resource allocation games (Q2286736) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Natural strategic ability (Q2289013) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Robust Equilibria in Mean-Payoff Games (Q2811341) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q3384167) (← links)
- (Q3384177) (← links)
- (Q4972730) (← links)
- (Q5005148) (← links)
- (Q5018506) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- (Q5079770) (← links)
- (Q5111630) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5140263) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Logics for Dynamic Epistemic Behavioral Strategies (Q5213672) (← links)