The following pages link to (Q5282949):
Displaying 9 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)
- 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)
- Resource graphs and countermodels in resource logics (Q2848062) (← links)
- Verifying Systems of Resource-Bounded Agents (Q3188235) (← links)
- (Q4707763) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)