Composition of Stochastic Transition Systems based on Spans and Couplings

• Daniel Gburek, Christel Baier, Sascha Klüppelholz:
  Composition of Stochastic Transition Systems Based on Spans and Couplings
  Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP'16), Leibniz International Proceedings in Informatics (LIPIcs), volume 55, pp 102:1-102:15, 2016
• Daniel Gburek, Christel Baier, Sascha Klüppelholz:
  Composition of Stochastic Transition Systems Based on Spans and Couplings (extended version, PDF)

List of publications of Prof. Baier's group.