Peterson, J. R.; Kulkarni, A.; Keyder, E.; Kim, J.; Zilberstein, S. Trajectory Constraint Heuristics for Optimal Probabilistic Planning. SOCS 2022, 15, 153-161.