The following pages link to (Q2908844):
Displaying 39 items.
- Synthesis with rational environments (Q314471) (← links)
- 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)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Natural strategic ability (Q2289013) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384167) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- (Q5013877) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5111630) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5140263) (← links)
- (Q5875374) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Action models for coalition logic (Q6550523) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
