Parallel Model Checking for Temporal Epistemic Logic

Abstract. We investigate the problem of the verification of multiagent 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.

• Type: Conference
• Year: 2010
• Where: ECAI
• Authors: Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
• Keywords: Artificial Intelligence, ECAI 2010, Logic Combining Branching, Parallel Algorithms, Time Temporal Logic