Author:
Bertrand Nathalie,Fabre Éric,Haar Stefan,Haddad Serge,Hélouët Loïc
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Baier, C., Bertrand, N., Grösser, M.: Probabilistic ω-automata. Journal of the ACM 59(1), 1–52 (2012)
2. Bertrand, N., Genest, B., Gimbert, H.: Qualitative determinacy and decidability of stochastic games with signals. In: Proceedings of LICS 2009, pp. 319–328. IEEE Computer Society (2009)
3. Cabasino, M., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proceedings of CDC 2009, pp. 1267–1272. IEEE (2009)
4. Cassez, F., Tripakis, S.: Fault diagnosis with static and dynamic observers. Fundamenta Informaticae 88, 497–540 (2008)
5. Chanthery, E., Pencolé, Y.: Monitoring and active diagnosis for discrete-event systems. In: Proceedings of SP 2009, pp. 1545–1550. Elsevier (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献