Published April 18, 2021 | Version v1
Conference paper Open

Lumpability for Uncertain Continuous-Time Markov Chains

  • 1. University of Oxford, UK
  • 2. TU Wien, Austria
  • 3. AAlborg University, DK
  • 4. IMT School for Advanced Studies Lucca, Italy
  • 5. Sant'Anna School of Advanced Studies, Pisa, Italy


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 Download all
457.3 kB Preview Download
429.9 MB Preview Download