Optimal stopping and hard terminal constraints applied to a missile guidance problem | IEEE Conference Publication | IEEE Xplore