The following publications are possibly variants of this publication:
- Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS SpecificationsJakub Michaliszyn, Piotr Witkowski 0001. IJCAI 2019: 4746-4752 [doi]
- Verifying epistemic properties of multi-agent systems via bounded model checkingWojciech Penczek, Alessio Lomuscio. atal 2003: 209-216 [doi]
- Verifying Epistemic Properties of Multi-agent Systems via Bounded Model CheckingWojciech Penczek, Alessio Lomuscio. FUIN, 55(2):167-185, 2003. [doi]
- 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]
- Model Checking Distributed Systems against Temporal-Epistemic SpecificationsAndreas Griesmayer, Alessio Lomuscio. forte 2013: 130-145 [doi]