Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01629380
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Monday, November 6, 2017 - 1:41:15 PM
Last modification on : Tuesday, January 18, 2022 - 2:26:05 PM

Identifiers

  • HAL Id : hal-01629380, version 1

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⟩

Share

Metrics

Record views

46