Evolutionary Algorithm for State Assignment of Finite State Machines.

Mariusz Chyzy Witold Kosinski

Published in: DSD (2002)

Keyphrases

finite state machines
evolutionary algorithm
model checking
finite state automata
state transition
regular expressions
function optimization
digital circuits
database systems
multi objective
differential evolution
reinforcement learning
hidden markov models