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, (Tam Metin Bildiri)

• Yayın Türü: Bildiri / Tam Metin Bildiri
• Doi Numarası: 10.1109/siu.2018.8404508
• Basıldığı Şehir: İzmir
• Basıldığı Ülke: Türkiye
• Anahtar Kelimeler: Formal methods, STL, requirement mining, genetic algorithms
• Orta Doğu Teknik Üniversitesi Adresli: Evet