Real-Time Path Planning Under Signal Temporal Logic Specifications in Dynamic Environment. - Hao Zhang; Yan Yang; Yunxu Zhang; Baiheng Cao; Chang Tian (ICIRA (9), 2024)