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