Verifying strategic abilities in multi-agent systems with private-data sharing

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02428214
Contributor : Frédéric Davesne <>
Submitted on : Sunday, January 5, 2020 - 3:12:40 PM
Last modification on : Wednesday, January 8, 2020 - 1:34:07 AM

Identifiers

  • HAL Id : hal-02428214, version 1

Citation

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⟩

Share

Metrics

Record views

19