C. Baier, N. Bertrand, and M. Größer, On Decision Problems for Probabilistic B??chi Automata, Proceedings of FoSSaCS'08, pp.287-301, 2008.
DOI : 10.1007/978-3-540-78499-9_21

C. Baier, N. Bertrand, M. [. Grösser, L. Berwanger, and . Doyen, Probabilistic ??-automata, Proceedgins of FSTTCS'08 Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.1-52, 2008.
DOI : 10.1145/2108242.2108243
URL : https://hal.archives-ouvertes.fr/hal-00743907

N. Bertrand, B. Genest, and H. Gimbert, Qualitative Determinacy and Decidability of Stochastic Games with Signals, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.319-328, 2009.
DOI : 10.1109/LICS.2009.31
URL : https://hal.archives-ouvertes.fr/hal-00356566

K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, Randomness for Free, Proceedings of MFCS'10, pp.246-257, 2010.
DOI : 10.1007/978-3-642-15155-2_23
URL : https://hal.archives-ouvertes.fr/hal-01006409

M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, Diagnosability analysis of unbounded Petri nets Chanthery and Y. Pencolé. Monitoring and active diagnosis for discreteevent systems, Proceedings of CDC'09 Proceedings of SP'09CT08] F. Cassez and S. Tripakis. Fault diagnosis with static and dynamic observers . Fundamenta Informaticae, pp.1267-1272, 2008.

E. Fabre and L. Jezequel, On the construction of probabilistic diagnosers, Proceeeding of WODES'10, pp.229-234, 2010.
DOI : 10.3182/20100830-3-DE-4013.00039

S. Haar, S. Haddad, T. Melliti, S. Schwoon, M. Sampath et al., Optimal constructions for active diagnosis Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2013. [MP09] C. Morvan and S. Pinchinat. Diagnosability of pushdown systems Active diagnosis of discreteevent systems, Proceedings of FSTTCS'13 Proceedings of HVC'09SSL + 95] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems, pp.527-539, 1995.
DOI : 10.1016/j.jcss.2016.04.007
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.2439

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

D. Thorsley and D. Teneketzis, Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems, Discrete Event Dynamic Systems, vol.47, issue.9, pp.531-583, 2007.
DOI : 10.1007/s10626-007-0027-y

M. Y. Vardi-yoo and S. Lafortune, Automatic verification of probabilistic concurrent finite-state programs Polynomial-time verification of diagnosability of partially observed discrete-event systems, Proceedings of FOCS'85, pp.327-338, 1985.