Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.

Paul C. Bell, Pavel Semukhin

Browse the full CONCUR paper archive.