Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM | IEEE Conference Publication | IEEE Xplore