Verification of broadcasting multi-agent systems against an epistemic strategy logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2017
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01629380 , version 1

Cite

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⟩
51 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More