S. Kinathil, H. Soh, and S. Sanner, “Analytic Decision Analysis via Symbolic Dynamic Programming for Parameterized Hybrid MDPs”, ICAPS, vol. 27, no. 1, pp. 181-185, Jun. 2017.