[1]
B. Aminof, G. De Giacomo, A. Murano, and S. Rubin, “Planning under LTL Environment Specifications”, ICAPS, vol. 29, no. 1, pp. 31-39, May 2021.