Parallel Model Checking for Temporal Epistemic Logic
Marta Kwiatkowska, Alessio R. Lomuscio, Hongyang Qu · Frontiers in artificial intelligence and applications · 2010
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.