Zhipeng Zhang, Chengyi Xia, Jun Fu 0001, Zengqiang Chen 0001. Initial-State Observability of Mealy-Based Finite-State Machine With Nondeterministic Output Functions. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 52(10):6396-6405, 2022. [doi]
Abstract is missing.