Camacho, A.; Triantafillou, E.; Muise, C.; Baier, J.; McIlraith, S. Non-Deterministic Planning With Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI 2017, 31.