Accompanying material for 'Lumpability for Uncertain Continuous-Time Markov Chains'

Luca Cardelli, Radu Grosu, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019 Zenodo  
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