Decidable model-checking for a resource logic with production of resources

MaRDI QIDQ5282949zbMATH OpenFDO

Authors Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36908

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Model-checking for resource-bounded ATL with production and consumption of resources
• Logic for coalitions with bounded resources
• On the complexity of resource-bounded logics
• On the complexity of resource-bounded logics
• The virtues of idleness: a decidable fragment of resource agent logic

Cited in

(10)

• State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
• On the complexity of resource-bounded logics
• Characterization, verification and generation of strategies in games with resource constraints
• On the complexity of resource-bounded logics
• Model-checking for resource-bounded ATL with production and consumption of resources
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• Resource graphs and countermodels in resource logics
• Strategic reasoning with a bounded number of resources: the quest for tractability
• Verifying systems of resource-bounded agents
• The virtues of idleness: a decidable fragment of resource agent logic

This page was built for publication: Decidable model-checking for a resource logic with production of resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282949)