Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536670
Contributor : Emmanuelle Grousset <>
Submitted on : Tuesday, November 16, 2010 - 4:54:41 PM
Last modification on : Tuesday, September 8, 2020 - 4:58:02 PM
Long-term archiving on: : Thursday, February 17, 2011 - 3:05:17 AM

File

ECAI-112.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536670, version 1

Collections

Citation

Marta Kwiatkowska, Alessio Lomuscio, Hongyang Qu. Parallel Model Checking for Temporal Epistemic Logic. European Conference on Artificial Intelligence, Aug 2010, Lisbon, Portugal. ⟨inria-00536670⟩

Share

Metrics

Record views

134

Files downloads

167