Zamani, Z.; Sanner, S.; Fang, C. Symbolic Dynamic Programming for Continuous State and Action MDPs. AAAI 2021, 26, 1839-1845.