A. Camacho, E. Triantafillou, C. Muise, J. Baier, and S. McIlraith, “Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces”, AAAI, vol. 31, no. 1, Feb. 2017.