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

RecordNumber
1656
Author
Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter Katoen
Title of Article
Ecient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
URL
,/DL/Data Entry/DataEntryForm/EnterDocInfo.aspx
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=1656&Field=0&DTC=14

Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter Katoen