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 de document :
Communication dans un congrès
European Conference on Artificial Intelligence, Aug 2010, Lisbon, Portugal. 2010
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536670
Contributeur : Emmanuelle Grousset <>
Soumis le : mardi 16 novembre 2010 - 16:54:41
Dernière modification le : jeudi 18 novembre 2010 - 12:24:29
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:05:17

Fichier

ECAI-112.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2010. 〈inria-00536670〉

Partager

Métriques

Consultations de la notice

91

Téléchargements de fichiers

73