Learning DFA: evolution versus evidence driven state merging | IEEE Conference Publication | IEEE Xplore