License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.12.68
URN: urn:nbn:de:0030-drops-50066
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5006/
Go back to Dagstuhl Reports


Hillston, Jane ; Pitt, Jeremy ; Wirsing, Martin ; Zambonelli, Franco
Weitere Beteiligte (Hrsg. etc.): Jane Hillston and Jeremy Pitt and Martin Wirsing and Franco Zambonelli

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

pdf-format:
dagrep_v004_i012_p068_s14512.pdf (4 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.

BibTeX - Entry

@Article{hillston_et_al:DR:2015:5006,
  author =	{Jane Hillston and Jeremy Pitt and Martin Wirsing and Franco Zambonelli},
  title =	{{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}},
  pages =	{68--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Jane Hillston and Jeremy Pitt and Martin Wirsing and Franco Zambonelli},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5006},
  URN =		{urn:nbn:de:0030-drops-50066},
  doi =		{10.4230/DagRep.4.12.68},
  annote =	{Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop}
}

Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop
Seminar: Dagstuhl Reports, Volume 4, Issue 12
Issue Date: 2015
Date of publication: 07.04.2015


DROPS-Home | Fulltext Search | Imprint Published by LZI