Communication Dans Un Congrès
Année : 2017
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 : mardi 19 novembre 2024-20:09:39
Dates et versions
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⟩
63
Consultations
0
Téléchargements