Hide/Show Apps

On the use of genetic algorithms for synthesis of signal temporal logic formulas