Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S. Planning under LTL Environment Specifications. ICAPS 2021, 29, 31-39.