Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
From MaRDI portal
Publication:3055669
DOI10.1007/978-3-642-16867-3_2zbMath1309.68066OpenAlexW1580675843MaRDI QIDQ3055669
Publication date: 9 November 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16867-3_2
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (12)
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 ⋮ Formal modelling and verification of probabilistic resource bounded agents ⋮ Where logic and agents meet ⋮ 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 ⋮ Natural strategic ability ⋮ On a Logic for Coalitional Games with Priced-Resource Agents ⋮ Information Flow Under Budget Constraints ⋮ Knowing the price of success
This page was built for publication: Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
