Pages that link to "Item:Q2361350"
From MaRDI portal
The following pages link to Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350):
Displaying 7 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Knowing the price of success (Q785233) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Natural strategic ability (Q2289013) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- A public announcement separation logic (Q5377700) (← links)
