27 citations · 62 across the 16 of their papers we have counts for
1 paper · 1 filter
Hongfei Fu
We consider the problem of approximating the probability mass of the set of timed paths under a continuous-time Markov chain (CTMC) that are accepted by a deterministic timed autom…