Alessio Lomuscio, Wojciech Penczek, Hongyang Qu. Partial Order Reductions for model checking temporal epistemic logic over interleaved mulit-agent systems.
AAMAS 2010 : International Conference on Autonomous Agents and Multiagent Systems, May 2010, Toronto, Canada.
⟨inria-00458132⟩