Abstractions of finite-state machines and optimality with respect to immediately-detectable next-state faults

Kostas N. Oikonomou. Abstractions of finite-state machines and optimality with respect to immediately-detectable next-state faults. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 26(1):151-160, 1996. [doi]

Abstract

Abstract is missing.