Weilin Wang, Stéphane Lafortune, Feng Lin. An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Systems & Control Letters, 56(9-10):656-661, 2007. [doi]
Abstract is missing.