Publisher
Springer International Publishing
Reference26 articles.
1. Bérard, B., Chatterjee, K., Sznajder, N.: Probabilistic opacity for Markov decision processes. Inf. Process. Lett. 115(1), 52–59 (2015)
2. Bérard, B., Haddad, S., Lefaucheux, E.: Probabilistic disclosure: maximisation vs. minimisation. In: Proceedings of FSTTCS 2017, volume 93 of LIPIcs, pp. 13:1–13:14. Leibniz-Zentrum für Informatik (2017)
3. Bérard, B., Kouchnarenko, O., Mullins, J., Sassolas, M.: Preserving opacity on interval Markov chains under simulation. In: Proceedings of WODES 2016, pp. 319–324. IEEE (2016)
4. Bérard, B., Mullins, J., Sassolas, M.: Quantifying opacity. Math. Struct. Comput. Sci. 25(2), 361–403 (2015)
5. Lecture Notes in Computer Science;N Bertrand,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献