1. Enacting declarative languages using LTL: Avoiding errors and improving performance;Pesic,2010
2. HyperLDLf: a logic for checking properties of finite traces process logs;De Giacomo,2021
3. Planning for temporally extended goals;Bacchus,1996
4. Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces;Camacho,2017
5. General LTL specification mining (T);Lemieux,2015