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

zbMATH Open1366.68161MaRDI QIDQ5282949FDOQ5282949

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Characterization, verification and generation of strategies in games with resource constraints
• On the complexity of resource-bounded logics
• Title not available (Why is that?)
• Model-checking for resource-bounded ATL with production and consumption of resources
• 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
• On the complexity of resource-bounded logics
• State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

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)