Pages that link to "Item:Q5758039"
From MaRDI portal
The following pages link to On the Expressiveness and Complexity of ATL (Q5758039):
Displayed 5 items.
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)