Camacho, A., Triantafillou, E., Muise, C., Baier, J. and McIlraith, S. 2017. Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. Proceedings of the AAAI Conference on Artificial Intelligence. 31, 1 (Feb. 2017). DOI:https://doi.org/10.1609/aaai.v31i1.11058.