Verification of broadcasting multi-agent systems against an epistemic strategy logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

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

Domaines

Logique en informatique [cs.LO] Calcul formel [cs.SC]

Frédéric Davesne  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01629380

Soumis le : lundi 6 novembre 2017-13:41:15

Dernière modification le : lundi 22 avril 2024-16:24:01

Fichier non déposé

Dates et versions

hal-01629380 , version 1 (06-11-2017)

Identifiants

  • HAL Id : hal-01629380 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-EVRY IBISC IBISC-COSMO UNIV-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More