Multiphase until formulas over Markov reward models: an algebraic approach
scientific article; zbMATH DE number 6521247
scientific article