Pages that link to "Item:Q4992519"
From MaRDI portal
The following pages link to Model checking coalitional games in shortage resource scenarios (Q4992519):
Displaying 6 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Characterization, verification and generation of strategies in games with resource constraints (Q2125548) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
- On a logic for coalitional games with priced-resource agents (Q2825419) (← links)
- Alternating-time temporal logic with resource bounds (Q4612421) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)