Login / Signup
Abstractions of finite-state machines and optimality with respect to immediately-detectable next-state faults.
Kostas N. Oikonomou
Published in:
IEEE Trans. Syst. Man Cybern. Part A (1996)
Keyphrases
</>
finite state machines
mutation testing
finite state automata
model checking
state transition
fault diagnosis
digital circuits
hidden markov models
high level
information extraction
state space
cellular automaton
expert systems
pattern matching
regular expressions
video sequences
reinforcement learning