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
Algorithms and limits for compact plan representations, J. Artif. Intell. Res, vol.44, pp.141-177, 2012. ,
Modal Logic. Cambridge Tracts in Theoretical Computer Science, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100503
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
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
Qualitative planning under partial observability in multi-agent domains, Proc. 27th AAAI Conference on Artificial Intelligence, pp.130-137, 2013. ,
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
How to make the perfect fireworks display: Two strategies for hanabi, Mathematics Magazine, vol.88, issue.5, pp.323-336, 2015. ,
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
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
Reasoning about knowledge, 2003. ,
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. ,
Probabilistic dynamic epistemic logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.381-408, 2003. ,
DOI : 10.1023/A:1025050800836
Dual formulations for optimizing Dec-POMDP controllers, Proc. 26th International Conference on Automated Planning and Scheduling, pp.202-210, 2016. ,
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
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
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. ,