@InProceedings{ wimmer-et-al-memocode-2011,
author = "Ralf Wimmer and
Ernst Moritz Hahn and
Holger Hermanns and
Bernd Becker",
title = "Reachability Analysis for Incomplete Networks
of {Markov} Decision Processes",
booktitle = "Proceedings of the ACM/IEEE
9\textsuperscript{th} International Conference on
Formal Methods and Models for Codesign (MEMOCODE)",
year = "2011",
publisher = "IEEE Computer Society Press",
address = "Cambridge, United Kingdom",
month = jul,
editor = "Barbara Jobstmann and Michael Kishinevsky",
abstract = "Assume we have a network of discrete-time Markov decision processes
(MDPs) which synchronize via common actions. We investigate how to
compute probability measures in case the structure of some of the
component MDPs (so-called blackbox MDPs) is not known. We then
extend this computation to work on networks of MDPs that share
integer data variables of finite domain. We use a protocol which
spreads information within a network as a case study to show the
feasibility and effectiveness of our approach.",
note = "(to appear)",
}