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

Open in new window