On computing indistinguishable states of nondeterministic finite automata with partially observable transitions | IEEE Conference Publication | IEEE Xplore