On the (un-)decidability of model checking resource-bounded agents
From MaRDI portal
Recommendations
- Verifying systems of resource-bounded agents
- The virtues of idleness: a decidable fragment of resource agent logic
- On complexity of verification of interacting agents' behavior
- scientific article; zbMATH DE number 2182497
- Decidability of model checking multi-agent systems against a class of EHS specifications
Cited in
(16)- A logic of situated resource-bounded agents
- Exploring the future with resource-bounded agents
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Natural strategic ability
- Model-checking for resource-bounded ATL with production and consumption of resources
- On complexity of verification of interacting agents' behavior
- On a logic for coalitional games with priced-resource agents
- Verifying systems of resource-bounded agents
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
- The virtues of idleness: a decidable fragment of resource agent logic
- Decidability of model checking multi-agent systems against a class of EHS specifications
- Verifying Space and Time Requirements for Resource-Bounded Agents
- On the complexity of resource-bounded logics
- Where logic and agents meet
- Knowing the price of success
This page was built for publication: On the (un-)decidability of model checking resource-bounded agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999192)
