End-to-End Path Planning Under Linear Temporal Logic Specifications. - Chaeeun Yang; Sojeong Yoon; Kyunghoon Cho (IEEE Access, 2024)