L. Vianna, L. de Barros, and S. Sanner, “Real-Time Symbolic Dynamic Programming”, AAAI, vol. 29, no. 1, Mar. 2015.