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

Description

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

qest2021.pdf

Files (430.3 MB)

Name Size Download all
md5:6150c6f3abc8e3f5bdb23e4598e7cbd5
457.3 kB Preview Download
md5:01a16a170cb63b4a3a899f6fce5695b5
429.9 MB Preview Download