Sciweavers

Share
ECAI
2010
Springer

Parallel Model Checking for Temporal Epistemic Logic

10 years 5 months ago
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.
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ECAI
Authors Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
Comments (0)
books