Trajectory Constraint Heuristics for Optimal Probabilistic Planning. - John R. Peterson; Anagha Kulkarni 005; Emil Keyder; Joseph Kim; Shlomo Zilberstein (SOCS, 2022)