Y. Wang, N. Dantam, S. Chaudhuri, and L. Kavraki, “Task and Motion Policy Synthesis as Liveness Games”, ICAPS, vol. 26, no. 1, pp. 536–540, Mar. 2016.