Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith. Finite LTL Synthesis as Planning. In Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs T. J. Spaan, editors, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018. pages 29-38, AAAI Press, 2018. [doi]
Abstract is missing.