The virtues of idleness: a decidable fragment of resource agent logic
(2017)
Journal Article
Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2017). The virtues of idleness: a decidable fragment of resource agent logic. Artificial Intelligence, 245, 56-85. https://doi.org/10.1016/j.artint.2016.12.005
© 2017 The Authors Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-agent systems. We consider Resource Agent Logic (RAL), which extends ATL to allow the verification of properties of systems where agents act under r... Read More about The virtues of idleness: a decidable fragment of resource agent logic.