Wang, Y.; Dantam, N.; Chaudhuri, S.; Kavraki, L. Task and Motion Policy Synthesis As Liveness Games. ICAPS 2016, 26, 536-540.