J. Schmalz and F. Trevizan, “Efficient Constraint Generation for Stochastic Shortest Path Problems”, AAAI, vol. 38, no. 18, pp. 20247–20255, Mar. 2024.