On the (un-)decidability of model checking resource-bounded agents
From MaRDI portal
Publication:2999192
DOI10.3233/978-1-60750-606-5-567zbMATH Open1211.68246OpenAlexW2536466748MaRDI QIDQ2999192FDOQ2999192
Authors: Nils Bulling, Berndt Farwer 
Publication date: 11 May 2011
Full work available at URL: http://dspace1.isd.glam.ac.uk/dspace/handle/10265/522
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
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Logic in computer science (03B70)
Cited In (16)
- 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
- Decidability of model checking multi-agent systems against a class of EHS specifications
- Where logic and agents meet
- The virtues of idleness: a decidable fragment of resource agent logic
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
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)
