Published April 23, 2022
| Version v2
Journal article
Open
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Authors/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
Draft conditionally accepted at IEEE Transactions on Automatic Control, and accompanying material for replicability.
Files:
- The pdf is the submitted draft,
- The archive contains information on how to replicate the experiments, and all the used models.