Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information. - Li, Shuaiyi; Wei, Mengjie; Li, Shaoyuan; Yin, Xiang (IEEE Trans. Intell. Veh., 2024)