Deep subsurface exploration of planetary ice enabled by nuclear power | IEEE Conference Publication | IEEE Xplore