License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.8.21
URN: urn:nbn:de:0030-drops-47971
Go back to Dagstuhl Reports

Agotnes, Thomas ; Bulling, Nils
Weitere Beteiligte (Hrsg. etc.): Thomas Agotnes and Nils Bulling

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)

dagrep_v004_i008_p021_s14332.pdf (1 MB)


This report documents the programme and outcomes of the Dagstuhl Serminar 14332 "Formal Methods for Coordinating Multi-Agent Systems", that took place from 10 to 14 August, 2014. This seminar brought together researchers from the following subfields of multi-agent systems: logic, game theory, and agreement technologies. It is set up at the intersection of these active fields of research and aimed at fostering collaborations between them. A key objective of the seminar has been to shed light on formal methods for coordinating multi-agent systems, in particular, how to combine research and tools from the different areas to obtain new techniques for coordinating the behavior of agents. The coordination problem is a key problem in multi-agent systems: how can we coordinate the individual behaviour of the agents such that the global behaviour of the system as a whole satisfies our needs? Dagstuhl was an excellent venue to bring together leading researchers from logics, game theory, and agreement technologies to learn about their research activities, to discuss as well as to work on timely problems, and to establish new collaborations between researchers. The outcome of the working groups and discussions provides promising avenues and open questions for future research in the field.

BibTeX - Entry

  author =	{Thomas Agotnes and Nils Bulling},
  title =	{{Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)}},
  pages =	{21--44},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Thomas Agotnes and Nils Bulling},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-47971},
  doi =		{10.4230/DagRep.4.8.21},
  annote =	{Keywords: multi-agent systems, coordination, formal methods, game theory, logic, agreement technologies}

Keywords: multi-agent systems, coordination, formal methods, game theory, logic, agreement technologies
Collection: Dagstuhl Reports, Volume 4, Issue 8
Issue Date: 2014
Date of publication: 02.12.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI