Sertaç Kagan Aydin

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Synthesis of Monitoring Rules with STL.
J. Circuits Syst. Comput., 2020

2019
Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.
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.
Proceedings of the 26th Signal Processing and Communications Applications Conference, 2018


  Loading...