The following pages link to (Q2980973):
Displaying 20 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- On completeness of narrowing strategies (Q912605) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Natural strategic ability (Q2289013) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384167) (← links)
- (Q4900290) (← links)
- (Q4972730) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5111630) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- (Q5219921) (← links)
- (Q5283000) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)