Lexicographic Multi-Objective Stochastic Shortest Path with Mixed Max-Sum Costs. - Zhiquan Zhang; Omar Muhammetkulyyev; Tichakorn Wongpiromsarn; Melkior Ornik (CoRR, 2025)