Author:
Ditmarsch Hans van,Goubault Éric,Ledent Jérémy,Rajsbaum Sergio
Publisher
Springer International Publishing
Reference72 articles.
1. Ågotnes, T., and Y.N. Wáng. 2017. Resolving Distributed Knowledge. Artificial Intelligence 252: 1–21.
2. Aguilera, M.K. 2004. A Pleasant Stroll Through the Land of Infinitely Many Creatures. SIGACT News, 35(2): 36–59.
3. Alur, R., T.A. Henzinger, and O. Kupferman. 2002. Alternating-Time Temporal Logic. Journal of the ACM 49: 672–713.
4. Baier, C., and J.-P. Katoen. 2008. Principles of Model Checking. Cambridge: The MIT Press.
5. Balbiani, P., H. van Ditmarsch, and S. Fernández González. 2019. Asynchronous announcements. CoRR, abs/1705.03392.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献