DMCA

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

by Christel Baier , Holger Hermanns , Joost-Pieter Katoen , Boudewijn R. Haverkort
Citations:54 - 19 self