A. Camacho, J. Baier, C. Muise, and S. McIlraith, “Finite LTL Synthesis as Planning”, ICAPS, vol. 28, no. 1, pp. 29-38, Jun. 2018.