Conference Papers
Year : 2017
Frédéric Davesne : Connect in order to contact the contributor
https://hal.science/hal-01629380
Submitted on : Monday, November 6, 2017-1:41:15 PM
Last modification on : Monday, April 17, 2023-2:36:07 PM
Dates and versions
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