Monitoring progress with dynamic programming envelopes | IEEE Conference Publication | IEEE Xplore