[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.