Conference paper Open Access

Lumpability for Uncertain Continuous-Time Markov Chains

Luca Cardelli; Radu Grosu; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin

This is the accompanying material for the draft with same title and authors of this repository.

The pdf is an extended version of the draft containing the proofs, while the archive contains information on how to replicate the experiments presented in the draft and all the used models.

Files (430.3 MB)
Name Size
qest2021.pdf
md5:6150c6f3abc8e3f5bdb23e4598e7cbd5
457.3 kB Download
UCTMCs.zip
md5:01a16a170cb63b4a3a899f6fce5695b5
429.9 MB Download
12
3
views
downloads
All versions This version
Views 1212
Downloads 33
Data volume 1.4 MB1.4 MB
Unique views 1010
Unique downloads 33

Share

Cite as