H. Cui, T. Keller, and R. Khardon, “Stochastic Planning with Lifted Symbolic Trajectory Optimization”, ICAPS, vol. 29, no. 1, pp. 119-127, May 2021.