Symbolic model-checking for resource-bounded ATL - Hoang Nguyen (ACM Digital Library, 2015)
https://dl.acm.org/doi/10.5555/2772879.2773448