Alechina, N., Demri, S., & Logan, B. (2020, February). Parameterised Resource-Bounded ATL. Presented at Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, NY, USA