Published April 23, 2022 | Version v2
Journal article Open

Algorithmic Minimization of 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

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.

Files

qest21tac.pdf

Files (720.2 MB)

Name Size Download all
md5:4fc3fa429b152f77471d70bd652bbb2b
2.8 MB Preview Download
md5:d5a9ed55a2cac341a6ef75b61fb8e655
717.4 MB Preview Download