Cui, H.; Keller, T.; Khardon, R. Stochastic Planning With Lifted Symbolic Trajectory Optimization. ICAPS 2021, 29, 119-127.