Communication Dans Un Congrès Année : 2015

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

Résumé

We develop a methodology to model and verify open multi-agent systems (OMAS), where agents may join in or leave at run time. Further, we specify properties of interest on OMAS in a variant of first-order temporal-epistemic logic, whose characteris-ing features include epistemic modalities indexed to individual terms, interpreted on agents appearing at a given state. This formalism notably allows to express group knowledge dynamically. We study the verification problem of these systems and show that, under specific conditions, finite bisimilar abstractions can be obtained.

Fichier principal
Vignette du fichier
ijcai2015GL.pdf (270.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01277208 , version 1 (24-02-2016)

Licence

Identifiants

  • HAL Id : hal-01277208 , version 1

Citer

Francesco Belardinelli, Davide Grossi, Alessio Lomuscio. Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. 24th International Joint Conferences on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina. pp.854--860. ⟨hal-01277208⟩
246 Consultations
163 Téléchargements

Partager

  • More