Algorithmic minimization of uncertain continuous-time Markov chains

The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is undermined when confronted with reality, where they may be uncertain due to lack of information or because of measurement noise. Here we consider uncertain CTMCs (UCTMCs), where rates are assumed to va...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A
Formáid: Journal article
Teanga:English
Foilsithe / Cruthaithe: IEEE 2023