The following pages link to (Q4999260):
Displaying 7 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- Alternating-time temporal logic with resource bounds (Q4612421) (← links)
- Model checking coalitional games in shortage resource scenarios (Q4992519) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)