On the use of genetic algorithms for synthesis of signal temporal logic formulas. - Sertaç Kagan Aydin; Ebru Aydin Gol (SIU, 2018)

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search. - Sertaç Kagan Aydin; Ebru Aydin Göl (SIU, 2019)

Synthesis of Monitoring Rules with STL. - Sertaç Kagan Aydin; Ebru Aydin Gol (J. Circuits Syst. Comput., 2020)