Text this: Genetic algorithm with temporal logic for automated markers