An Improved Genetic Algorithm for the Inference of Finite State Machine.

Nattee Niparnan Prabhas Chongstitvatana

Published in: GECCO Late Breaking Papers (2002)

Keyphrases

finite state machines
model checking
state machine
finite state automata
state transition
inference process
hidden markov models
probabilistic inference
regular expressions
bayesian inference
cellular automaton
digital circuits