An algebraic method to fidelity-based model checking over quantum Markov chains
scientific article; zbMATH DE number 7601539