The virtues of idleness: a decidable fragment of resource agent logic
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 resource constraints. The model checking problem for RAL with unbounde...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
Elsevier
2017
|
| Online Access: | https://eprints.nottingham.ac.uk/39849/ |