Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M., & Vandin, A. (2023). Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Transactions on Automatic Control, 68(11), 6557–6572. https://doi.org/10.1109/TAC.2023.3244093 ( reposiTUm)