1 Search Results for "Bulling, Nils"

Document

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

Authors: Thomas Agotnes and Nils Bulling

Published in: Dagstuhl Reports, Volume 4, Issue 8 (2015)

Abstract

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.

Cite as

Thomas Agotnes and Nils Bulling. Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). In Dagstuhl Reports, Volume 4, Issue 8, pp. 21-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{agotnes_et_al:DagRep.4.8.21,
  author =	{Agotnes, Thomas and Bulling, Nils},
  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 =	{Agotnes, Thomas and Bulling, Nils},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.8.21},
  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}
}

Refine by Author
1 Agotnes, Thomas
1 Bulling, Nils

Refine by Classification

Refine by Keyword
1 agreement technologies
1 coordination
1 formal methods
1 game theory
1 logic
Show More...

Refine by Type
1 document

Refine by Publication Year
1 2014

1 Search Results for "Bulling, Nils"

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

Abstract

Cite as

Thanks for your feedback!

Could not send message