Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models. - MohammadSadegh Mohagheghi; Behrang Chaboki (TTCS, 2020)