Wang, Yue, Neil Dantam, Swarat Chaudhuri, and Lydia Kavraki. 2016. “Task and Motion Policy Synthesis As Liveness Games”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):536-40. https://doi.org/10.1609/icaps.v26i1.13792.