An efficient genetic algorithm for reachability problems | IEEE Conference Publication | IEEE Xplore