Lefaucheux, Engel Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
Lefaucheux, E. (2021). Accurate Approximate Diagnosis of (Controllable) Stochastic Systems. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems (pp. 413-434). Berlin: Springer. doi:10.1007/978-3-030-85172-9_22.