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


Aydin S. K. , Aydın Göl E.

2018 26th Signal Processing and Communications Applications Conference (SIU), İzmir, Türkiye, 2 - 05 Mayıs 2018 identifier