Adaptive polyhedral meshing for approximate dynamic programming in control. (January 2022)