Compositionality for Markov reward chains with fast and silent transitions

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink. Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval., 66(8):435-452, 2009. [doi]

Abstract

Abstract is missing.