The following publications are possibly variants of this publication:
- Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systemsAlessio Lomuscio, Wojciech Penczek, Hongyang Qu. atal 2010: 659-666 [doi]
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent SystemsAlessio Lomuscio, Wojciech Penczek, Hongyang Qu. FUIN, 101(1-2):71-90, 2010. [doi]
- A Symmetry Reduction Technique for Model Checking Temporal-Epistemic LogicMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. IJCAI 2009: 721-726 [doi]
- Parallel Model Checking for Temporal Epistemic LogicMarta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu. ecai 2010: 543-548 [doi]
- Symbolic model checking for temporal-epistemic logicsAlessio Lomuscio, Wojciech Penczek. sigact, 38(3):77-99, 2007. [doi]
- From Bounded to Unbounded Model Checking for Temporal Epistemic LogicMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek. FUIN, 63(2-3):221-240, 2004. [doi]