University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing

Belardinelli, F., Boureanu, I., Dima, C. and Malvone, V. (2019) Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing In: 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), 2019-05-13-2019-05-17, Montreal, Canada.

[img]
Preview
Text
3.pdf - Accepted version Manuscript

Download (607kB) | Preview
Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computer Science
Authors :
NameEmailORCID
Belardinelli, F.
Boureanu, I.i.boureanu@surrey.ac.uk
Dima, C.
Malvone, V.
Date : May 2019
Copyright Disclaimer : Copyright © 2019 by International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS)
Related URLs :
Depositing User : Diane Maxfield
Date Deposited : 23 Sep 2019 16:01
Last Modified : 23 Sep 2019 16:03
URI: http://epubs.surrey.ac.uk/id/eprint/852763

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800