1. Beliefs in multiagent planning: from one agent to many;Kominis,2014
2. Planning over multi-agent epistemic states: a classical planning approach (amended version);Muise,2015
3. Automata techniques for epistemic protocol synthesis;Aucher,2014
4. Dynamic epistemic logics;van Eijck,2014
5. A simple account of multi-agent epistemic planning;Cooper,2016