Fingerprint
Dive into the research topics of 'Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost P. Katoen
Research output: Book/Report › Report › Professional