Yaohui Kang

Inference Based Multi-Object Reactive Search in a Partially Known Environment With Temporal Logic Specifications

Efficiently searching for multiple objects in a partially known environment, where only the names and locations of landmarks are available, presents significant challenges. Existing search algorithms in the literature fail to fully utilize prior knowledge to improve search efficiency, and exhibit si