Pages that link to "Item:Q3518283"
From MaRDI portal
The following pages link to On the Expressiveness and Complexity of ATL (Q3518283):
Displayed 10 items.
- Where logic and agents meet (Q657584) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Natural strategic ability (Q2289013) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- Differential Game Logic (Q5277902) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)