The following pages link to (Q4992519):
Displayed 3 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)