Composition of Stochastic Transition Systems based on Spans and Couplings


List of publications of Prof. Baier's group.