Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. - Kazumune Hashimoto; Natsuko Tsumagari; Toshimitsu Ushio (ACM Trans. Cyber Phys. Syst., 2022)