Publisher
Springer International Publishing
Reference37 articles.
1. Balliu, M., Dam, M., Guernic, G.L.: ENCoVer: symbolic exploration for information flow security. In: 25th IEEE Computer Security Foundations Symposium (CSF 2012), pp. 30–44. IEEE Computer Society (2012). https://doi.org/10.1109/CSF.2012.24
2. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56. Morgan Kaufmann Publishers Inc. (1998). https://doi.org/10.1007/978-3-319-20451-2_38
3. Barfuss, W., Mann, R.P.: Modeling the effects of environmental and perceptual uncertainty using deterministic reinforcement learning dynamics with partial observability. Phys. Rev. E 105, 034409 (2022). https://doi.org/10.1103/PhysRevE.105.034409
4. Belardinelli, F., Boureanu, I., Malvone, V., Rajaona, S.F.: Program semantics and a verification technique for knowledge-based multi-agent systems. arXiv preprint arXiv:2206.13841 (2022)
5. Lecture Notes in Computer Science;J van Benthem,2015