Cazes, D.; Kalech, M. Model-Based Diagnosis With Uncertain Observations. AAAI 2020, 34, 2766-2773.