TY - JOUR AU - Alechina, Natasha AU - Demri, Stéphane AU - Logan, Brian PY - 2020/04/03 Y2 - 2024/03/28 TI - Parameterised Resource-Bounded ATL JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 34 IS - 05 SE - AAAI Technical Track: Multiagent Systems DO - 10.1609/aaai.v34i05.6189 UR - https://ojs.aaai.org/index.php/AAAI/article/view/6189 SP - 7040-7046 AB - <p>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.</p> ER -