N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Hélouët, Active Diagnosis for Probabilistic Systems, Proceedings of FoSSaCS'14, pp.29-42, 2014.
DOI : 10.1007/978-3-642-54830-7_2
URL : https://hal.archives-ouvertes.fr/hal-00930919

N. Bertrand, S. Haddad, and E. Lefaucheux, Foundation of diagnosis and predictability in probabilistic systems, Proceedings of FSTTCS'14 of Leibniz International Proceedings in Informatics Leibniz-Zentrum für Informatik, pp.417-429, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088117

H. Gimbert and Y. Oualhadj, Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, ICALP 2010, pp.527-538, 2010.
DOI : 10.1007/978-3-642-14162-1_44
URL : https://hal.archives-ouvertes.fr/hal-00456538

S. Haar, S. Haddad, T. Melliti, and S. Schwoon, Optimal constructions for active diagnosis, Journal of Computer and System Sciences, vol.83, issue.1, pp.101-120, 2017.
DOI : 10.1016/j.jcss.2016.04.007
URL : https://hal.archives-ouvertes.fr/hal-00926098

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

M. Sampath, S. Lafortune, and D. Teneketzis, Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, issue.7, pp.908-929, 1998.
DOI : 10.1109/9.701089

D. Thorsley and D. Teneketzis, Diagnosability of stochastic discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.4, pp.476-492, 2005.
DOI : 10.1109/TAC.2005.844722