B. Aminof, G. De Giacomo, A. Murano, S. Rubin: "Planning under LTL Environment Specifications"; in: "29th International Conference on Automated Planning and Scheduling", AAAI Press, 2019, 31 - 39.
https://publik.tuwien.ac.at/files/publik_287102.pdf