B. Aminof, G. De Giacomo, A. Murano, and S. Rubin, “Planning under LTL Environment Specifications”, ICAPS, vol. 29, no. 1, pp. 31–39, Jul. 2019.