Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tati, Bharath Siva Kumar"'
Publikováno v:
EPTCS 220, 2016, pp. 77-89
This paper presents algorithms for identifying and reducing a dedicated set of controllable transition rates of a state-labelled continuous-time Markov chain model. The purpose of the reduction is to make states to satisfy a given requirement, specif
Externí odkaz:
http://arxiv.org/abs/1608.00658
