Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs by Bell, PC, Semukhin, P

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond by Bell, PC, Potapov, I, Semukhin, P