Neuro-dynamic programming overview and a case study in optimal stopping | IEEE Conference Publication | IEEE Xplore