Parameterised Resource-Bounded ATL
DOI:
https://doi.org/10.1609/aaai.v34i05.6189Abstract
It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alternating Time Temporal Logic where parameter extraction is possible. We give a parameter extraction algorithm and prove that the model-checking problem is 2EXPTIME-complete.
Downloads
Published
2020-04-03
How to Cite
Alechina, N., Demri, S., & Logan, B. (2020). Parameterised Resource-Bounded ATL. Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), 7040-7046. https://doi.org/10.1609/aaai.v34i05.6189
Issue
Section
AAAI Technical Track: Multiagent Systems