Optimization Strategies for Real-Time Control of an Autonomous Melting Probe | IEEE Conference Publication | IEEE Xplore