Diagnosis of Stochastic Systems: Optimising Costs and Delays. - Marie Duflot; Engel Lefaucheux; Isaline Plaid (QEST+FORMATS, 2024)