Solving identification problem for asynchronous finite state machines using genetic algorithms.

Published in: GECCO (2006)

Keyphrases

finite state machines
model checking
finite state automata
state machine
genetic algorithm
regular expressions
digital circuits
distributed constraint satisfaction problems
high level
search algorithm
asynchronous circuits
asynchronous communication