Published April 23, 2022
| Version v1
Journal article
Open
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Creators
- 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 the submitted draft, while the archive contains information on how to replicate the experiments presented in the draft and all the used models.
Files
qest21tac.pdf
Files
(478.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a2cb9271367402d102a90a3b5e478c7
|
2.8 MB | Preview Download |
|
md5:c3ddfa3cbec3cb499a79213184e42e8d
|
475.7 MB | Preview Download |