Funder
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference12 articles.
1. Baier C, Katoen J-Ps (2008) Principles of model checking. MIT Press
2. Bertrand N, Genest B, Gimbert H (2009) Qualitative determinacy and decidability of stochastic games with signals. In: Proceedings of LICS’09. IEEE Computer Society, pp 319–328
3. Bertrand N, Fabre E, Haar S, Haddad S, Hélouët L (2014a) Active diagnosis for probabilistic systems. In: Proceedings of FoSSaCS’14, volume 8412 of lecture notes in computer science. Springer, pp 29–42
4. Bertrand N, Haddad S, Lefaucheux E (2014b) Foundation of diagnosis and predictability in probabilistic systems. In: Proceedings of FSTTCS’14, volume 29 of Leibniz international proceedings in informatics. Leibniz-Zentrum für Informatik, pp 417–429
5. Chatterjee K, Doyen L, Henzinger TA (2013) A survey of partial-observation stochastic parity games. Formal Methods Syst Des 43(2):268–284
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献