Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier
, Boudewijn Haverkort
, Holger Hermanns
, Joost P. Katoen

Research output: Book/Report › Report › Professional

9 Citations (Scopus)

220 Downloads (Pure)

9 Citations
1 Article

1 results

Filter

2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
Baier, C., Hermanns, H., Katoen, J.-P. & Haverkort, B. R., 2005, In: Theoretical computer science. 345, 1, p. 2-26 25 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
104 Link opens in a new tab Citations (Scopus)

121 Downloads (Pure)