2 citations · 9 across the 12 of their papers we have counts for
1 paper · 1 filter
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Markov automata combine non-determinism, probabilistic branching, and exponentially distributed delays. This compositional variant of continuous-time Markov decision processes is u…