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, Turkey, 2 - 05 May 2018 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/siu.2018.8404508
  • City: İzmir
  • Country: Turkey
  • Keywords: Formal methods, STL, requirement mining, genetic algorithms
  • Middle East Technical University Affiliated: Yes