Reactive Planner Synthesis Under Temporal Logic Specifications. - Hyeonkyu Seong; Kyoungho Lee; Kyunghoon Cho (IEEE Access, 2024)