Stochastic Guidance of Buoyancy Controlled Vehicles under Ice Shelves using Ocean Currents | IEEE Conference Publication | IEEE Xplore