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