Skip to Main content Skip to Navigation
Conference papers

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

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

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01277208
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Wednesday, February 24, 2016 - 12:11:04 PM
Last modification on : Tuesday, January 18, 2022 - 2:26:05 PM
Long-term archiving on: : Sunday, November 13, 2016 - 12:14:50 AM

File

ijcai2015GL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01277208, version 1

Citation

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⟩

Share

Metrics

Record views

106

Files downloads

41