1.
Lin S, Bercher P. On the Expressive Power of Planning Formalisms in Conjunction with LTL. ICAPS [Internet]. 2022Jun.13 [cited 2024Mar.28];32(1):231-40. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/19806