selected publications conference paper Progressive State Space Disaggregation for Dynamic Programming. . 2024