Frontier-Based Exploration Planning for Amphibious Robot with Gaussian Process Occupancy Map | IEEE Conference Publication | IEEE Xplore