Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429.
⟨hal-01088117⟩