Lumpability for Uncertain Continuous-Time Markov Chains
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin · Zenodo (CERN European Organization for Nuclear Research) · 2021
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.