Z. Zamani, S. Sanner, and C. Fang, “Symbolic Dynamic Programming for Continuous State and Action MDPs”, AAAI, vol. 26, no. 1, pp. 1839-1845, Sep. 2021.