On the (un-)decidability of model checking resource-bounded agents
From MaRDI portal
Publication:2999192
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)- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
- On complexity of verification of interacting agents' behavior
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Verifying Space and Time Requirements for Resource-Bounded Agents
- On the complexity of resource-bounded logics
- Model-checking for resource-bounded ATL with production and consumption of resources
- A logic of situated resource-bounded agents
- Exploring the future with resource-bounded agents
- On a logic for coalitional games with priced-resource agents
- Natural strategic ability
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Knowing the price of success
- Verifying systems of resource-bounded agents
- Where logic and agents meet
- Decidability of model checking multi-agent systems against a class of EHS specifications
- The virtues of idleness: a decidable fragment of resource agent logic
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)
