Sertac Kagan Aydin, Ebru Aydin Gol. On the use of genetic algorithms for synthesis of signal temporal logic formulas. In 26th Signal Processing and Communications Applications Conference, SIU 2018, Izmir, Turkey, May 2-5, 2018. pages 1-4, IEEE, 2018. [doi]
Abstract is missing.