References

A list of recommended readings:

• Ramon Fraga Pereira, Francesco Fuggitti, and Giuseppe De Giacomo. "Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models". arXiv, 2021
• Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, and Sasha Rubin. "Pure Past Linear Temporal and Dynamic Logic on Finite Traces". IJCAI, 2020
• Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, and Sheila A. McIlraith. "Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces". AAAI, 2017