Schmalz, J.; Trevizan, F. Efficient Constraint Generation for Stochastic Shortest Path Problems. AAAI 2024, 38, 20247-20255.