Sertaç Kagan Aydin

According to our database, Sertaç Kagan Aydin authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Synthesis of Monitoring Rules with STL.

Sertaç Kagan Aydin, Ebru Aydin Gol

J. Circuits Syst. Comput., 2020

2019

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.

Sertaç Kagan Aydin, Ebru Aydin Göl

Proceedings of the 27th Signal Processing and Communications Applications Conference, 2019

2018

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

Sertaç Kagan Aydin, Ebru Aydin Gol

Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018