On the complexity of model checking interval-valued discrete time Markov chains
scientific article; zbMATH DE number 6147230