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