Verifying strategic abilities in multi-agent systems with private-data sharing - Archive ouverte HAL Access content directly
Conference Papers Year : 2019
No file

Dates and versions

hal-02428214 , version 1 (05-01-2020)

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

Share

Gmail Facebook Twitter LinkedIn More