Approximate dynamic programming with feasibility guarantees - Engelmann, Alexander; Faulwasser, Timm (IEEE transactions on control of network systems, 2025)