Reachability analysis of dynamic programming based controlled systems | IEEE Conference Publication | IEEE Xplore