scientific article; zbMATH DE number 6747858
From MaRDI portal
Publication:5282949
zbMath1366.68161MaRDI QIDQ5282949
Brian Logan, Natasha Alechina, Franco Raimondi, Hoang Nga Nguyen
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36908
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
Model-checking for resource-bounded ATL with production and consumption of resources ⋮ Characterization, verification and generation of strategies in games with resource constraints ⋮ State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Verifying Systems of Resource-Bounded Agents ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ The virtues of idleness: a decidable fragment of resource agent logic ⋮ On the complexity of resource-bounded logics
This page was built for publication:
