Parameterised Resource-Bounded ATL. - Alechina, Natasha; Demri, Stéphane; Logan, Brian (2020)