Conference Papers
Year : 2019
Frédéric Davesne : Connect in order to contact the contributor
https://hal.science/hal-02428214
Submitted on : Sunday, January 5, 2020-3:12:40 PM
Last modification on : Monday, April 17, 2023-2:36:07 PM
Dates and versions
Identifiers
- HAL Id : hal-02428214 , version 1
Cite
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone. Verifying strategic abilities in multi-agent systems with private-data sharing. 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.1820--1822. ⟨hal-02428214⟩
34
View
0
Download