G. Aucher, An Internal Version of Epistemic Logic, Studia Logica, vol.34, issue.2, pp.1-22, 2010.
DOI : 10.1007/s11225-010-9227-9

URL : https://hal.archives-ouvertes.fr/inria-00556030

C. Bäckström and P. Jonsson, Algorithms and limits for compact plan representations, J. Artif. Intell. Res, vol.44, pp.141-177, 2012.

P. Blackburn, M. D. Rijke, and Y. Venema, Modal Logic. Cambridge Tracts in Theoretical Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

T. Bolander and M. B. Andersen, Epistemic planning for single- and multi-agent systems, Journal of Applied Non-Classical Logics, vol.3, issue.3, pp.9-34, 2011.
DOI : 10.1016/0010-0277(83)90004-5

URL : http://www.imm.dtu.dk/%7Etb/bolaea_epis.pdf

C. Boutilier, R. Dearden, and M. Goldszmidt, Stochastic dynamic programming with factored representations, Artificial Intelligence, vol.121, issue.1-2, pp.49-107, 2000.
DOI : 10.1016/S0004-3702(00)00033-3

URL : https://doi.org/10.1016/s0004-3702(00)00033-3

R. I. Brafman, G. Shani, and S. Zilberstein, Qualitative planning under partial observability in multi-agent domains, Proc. 27th AAAI Conference on Artificial Intelligence, pp.130-137, 2013.

T. Charrier and F. Schwarzentruber, A succinct language for dynamic epistemic logic, Proc. 16th Conference on Autonomous Agents and Multi-Agent Systems (AA- MAS 2017), pp.123-131, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01487001

C. Cox, J. De-silva, P. Deorsey, F. H. Kenter, T. Retter et al., How to make the perfect fireworks display: Two strategies for hanabi, Mathematics Magazine, vol.88, issue.5, pp.323-336, 2015.

J. S. Dibangoye, C. Amato, O. Buffet, and F. Charpillet, Optimally solving Dec-POMDPs as continuous-state MDPs, J. Artif. Intell. Res, vol.55, pp.443-497, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01279444

R. Fagin and J. Y. Halpern, Reasoning about knowledge and probability, Journal of the ACM, vol.41, issue.2, pp.340-367, 1994.
DOI : 10.1145/174652.174658

URL : http://www.cs.cornell.edu/Info/People/halpern/papers/knowledge_prob.ps

R. Fagin, Y. Moses, J. Halpern, and M. Vardi, Reasoning about knowledge, 2003.

J. F. Hintikka and H. Geffner, Knowledge and belief: an introduction to the logic of the two notions Beliefs in multiagent planning: From one agent to many, Proc. 25th International Conference on Automated Planning and Scheduling, pp.147-155, 1962.

B. P. Kooi, Probabilistic dynamic epistemic logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.381-408, 2003.
DOI : 10.1023/A:1025050800836

A. Kumar, H. Mostafa, and S. Zilberstein, Dual formulations for optimizing Dec-POMDP controllers, Proc. 26th International Conference on Automated Planning and Scheduling, pp.202-210, 2016.

J. Lang and B. Zanuttini, Knowledge-based programs as plans: The complexity of plan verification, Proc. 20th European Conference on Artificial Intelligence, pp.504-509, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01494044

J. Lang and B. Zanuttini, Knowledge-based programs as plans: Succinctness and the complexity of plan existence, Proc. 14th conference on Theoretical Aspects of Rationality and Knowledge, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00948289

F. A. Oliehoek, C. Amato, H. J. Osawa, and F. Schwarzentruber, A concise introduction to decentralized POMDPs Solving hanabi: Estimating hands by opponent's actions in cooperative game with incomplete information Hanabi, a co-operative game of fireworks Epistemic probability logic simplified Advances in Modal Logic, AAAI workshop: Computer Poker and Imperfect Information Advances in Modal Logic 10, pp.37-43, 2014.