Collective Adaptive System SynThesIs using Non-zero-sum Games



CASSTING will develop a novel approach for analysing and designing collective adaptive systems in their totality, by setting up a game theoretic framework. Here components are viewed as players, their behaviour is captured by strategies, system runs are plays, and specications are winning conditions.
The design of collective adaptive systems, as they occur, for example, in home automation, health care, and many scenarios of mobile communication, raises fundamental challenges: These systems are distributed, with heterogeneous components interacting continuously among each other and with their environments, components may work collaboratively or as adversaries, they have to adapt over time, they are dynamic in the sense that components can come into existence or vanish, and their specication usually involves multi-dimensional quantitative objectives. Available methods (such as model-based verication and quantitative model-checking) only address selected aspects of collective adaptive systems.
Effektiv start/slut dato01/04/201331/03/2016



Fingerprint Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

  • Publikation

    • 4 Konferenceartikel i proceeding
    • 3 Bidrag til bog/antologi
    • 2 Tidsskriftartikel
    • 1 Konferenceartikel i tidsskrift
    Åben adgang
  • On the Metric-Based Approximate Minimization of Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
  • 5 Citationer (Scopus)

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • 3 Citationer (Scopus)