Equivalence and Minimization for Model Checking Labeled Markov Chains
Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch · 2016
Model checking of Markov chains using logics like CSL or asCSL proves whether a logical formula holds for a state of the Markov chain. It has been developed in the last decade to a widely used approach to express performance and dependability quantities for models from a wide range of application ar