A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Accompanying material for 'Lumpability for Uncertain Continuous-Time Markov Chains'
2019
Zenodo
Preserved Fulltext
This is the accompanying material for the draft Luca Cardelli, Radu Grosu, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin, Lumpability for Uncertain Continuous-time Markov Chains. 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.
doi:10.5281/zenodo.3478161
fatcat:4sd327alprgxnattgvykf6gf7a