van Huijgevoort B and Haesaert S. (2022). Similarity quantification for linear stochastic systems: A coupling compensator approach. Automatica. 10.1016/j.automatica.2022.110476. 144. (110476). Online publication date: 1-Oct-2022.

https://linkinghub.elsevier.com/retrieve/pii/S0005109822003351

Du Z, Balzano L and Ozay N. Mode Reduction for Markov Jump Systems. IEEE Open Journal of Control Systems. 10.1109/OJCSYS.2022.3212613. 1. (335-353).

https://ieeexplore.ieee.org/document/9913637/

Abate A, Brim L, Češka M and Kwiatkowska M. (2015). Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. Computer Aided Verification. 10.1007/978-3-319-21690-4_12. (195-213).

http://link.springer.com/10.1007/978-3-319-21690-4_12

Abate A, Kwiatkowska M, Norman G and Parker D. (2014). Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind. A Tribute to Prakash Panangaden. 10.1007/978-3-319-06880-0_2. (40-58).

http://link.springer.com/10.1007/978-3-319-06880-0_2