@techreport{Ehl2011,
Author = {Ehlers, Rüdiger and Hahn, E. Moritz and Mehlmann, Martin and Peter, Hans-Jörg and Rakow, Jan and Toben, Tobe and Westphal, Bernd},
Title = {Dynamic Communicating Probabilistic Timed Automata Playing Games},

Year = {2011},
Month = {07},
Editor = {SFB/TR 14 AVACS},
Edition = {75},
Isbn = {1860-9821},
Booktitle = {Reports of SFB/TR 14 AVACS},
type = {techreport},
note = {Systems of Systems (SoS) comprising a varying number of communicating processes (or agents) are getting ever more important. As of yet, formal modeling languages and specification logics address isolated features of SoS only. We propose the concise modeli},
Abstract = {Systems of Systems (SoS) comprising a varying number of communicating processes (or agents) are getting ever more important. As of yet, formal modeling languages and specification logics address isolated features of SoS only. We propose the concise modeling language DCS++ and the property specification logic DPTATL that address all relevant SoS aspects in a unified game-theoretic framework. The language and logic turn out to be an orthogonal extension of well-known modeling formalisms and logics. Both modeling and specification languages are demonstrated on a non-trivial network routing example.
}
}
@COMMENT{Bibtex file generated on }