[1]
N. Alechina, S. Demri, and B. Logan, “Parameterised Resource-Bounded ATL”, AAAI, vol. 34, no. 05, pp. 7040-7046, Apr. 2020.