Property-driven State-Space Coarsening for Continuous Time Markov Chains

Michalis Michaelides, Dimitrios Milios, Jane Hillston +1

Dynamical systems with large state-spaces are often expensive to thoroughly explore experimentally. Coarse-graining methods aim to define simpler systems which are more amenable to…