Inference Based Multi-Object Reactive Search in a Partially Known Environment With Temporal Logic Specifications. - Yaohui Kang; Ziyang Chen; Yanjie Xia; Zhen Kan (ICRA, 2025)