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]
@inproceedings{CamachoBMM18-0,
title = {Finite LTL Synthesis as Planning},
author = {Alberto Camacho and Jorge A. Baier and Christian J. Muise and Sheila A. McIlraith},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790},
researchr = {https://researchr.org/publication/CamachoBMM18-0},
cites = {0},
citedby = {0},
pages = {29-38},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018},
editor = {Mathijs de Weerdt and Sven Koenig and Gabriele Röger and Matthijs T. J. Spaan},
publisher = {AAAI Press},
isbn = {978-1-57735-797-1},
}