Verification of broadcasting multi-agent systems against an epistemic strategy logic

Francesco Belardinelli 1 Alessio Lomuscio 2 Aniello Murano 3 Sasha Rubin 3
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 Department of Computing
3 DIETI - Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione [Napoli]
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01629380
Contributor : Frédéric Davesne <>
Submitted on : Monday, November 6, 2017 - 1:41:15 PM
Last modification on : Monday, October 28, 2019 - 10:50:22 AM

Identifiers

  • HAL Id : hal-01629380, version 1

Collections

UNIV-EVRY | IBISC | IBISC-COSMO | UNIV-PARIS-SACLAY

Citation

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of broadcasting multi-agent systems against an epistemic strategy logic . 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.91--97. ⟨hal-01629380⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

134

Contact

Informations

CCSD