9 citations · 30 across the 11 of their papers we have counts for
1 paper · 1 filter
Holger Hermanns, Jan Krčál, Jan Křetínský
Interactive Markov chains (IMC) are compositional behavioural models extending labelled transition systems and continuous-time Markov chains. We provide a framework and algorithms…