Camacho, A.; Baier, J.; Muise, C.; McIlraith, S. Finite LTL Synthesis As Planning. ICAPS 2018, 28, 29-38.