Cui, H., Keller, T., & Khardon, R. (2021). Stochastic Planning with Lifted Symbolic Trajectory Optimization. Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), 119-127. https://doi.org/10.1609/icaps.v29i1.3467