×

zbMATH — the first resource for mathematics

Parallel model checking for temporal epistemic logic. (English) Zbl 1211.68406
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 543-548 (2010).
Summary: 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.
For the entire collection see [Zbl 1207.68003].

MSC:
68T27 Logic in artificial intelligence
03B42 Logics of knowledge and belief (including belief change)
03B44 Temporal logic
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
CUDD
PDF BibTeX XML Cite
Full Text: DOI