Camacho, Alberto, Jorge Baier, Christian Muise, and Sheila McIlraith. 2018. “Finite LTL Synthesis As Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):29-38. https://doi.org/10.1609/icaps.v28i1.13908.