Graded ATL
Now that we have ATL as well as GML support it might be worth investigating whether graded ATL can be nicely encoded in coalgebras and implemented in COOL.
https://www.researchgate.net/publication/220444447_Graded_Alternating-Time_Temporal_Logic