Symbolic model-checking for single resource RB+-ATL - Hoang Nguyen (2015)
http://ijcai.org/Proceedings/15/Papers/155.pdf