Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata | Read Paper on Bytez