Aminof, Benjamin, Giuseppe De Giacomo, Aniello Murano, and Sasha Rubin. 2021. ‚ÄúPlanning under LTL Environment Specifications‚ÄĚ. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):31-39. https://ojs.aaai.org/index.php/ICAPS/article/view/3457.