Iterative strengthening: an algorithm for generating anytime optimal plans | IEEE Conference Publication | IEEE Xplore