Oxford logo
[KLQ10] Marta Kwiatkowska, Alessio Lomuscio, and Hongyang Qu. Parallel Model Checking for Temporal Epistemic Logic. In Helder Coelho, Rudi Studer, and Michael Wooldridge (editors), 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 543-548, IOS Press. August 2010. [pdf]
Downloads:  pdf pdf (162 KB)
Abstract. We investigate the problem of the verification of multi-agent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time temporal logic with epistemic modalities. We report on an implementation of these algorithms and present the experimental results obtained. The results point to a significant speed-up in the verification step.