Login / Signup
Sertaç Kagan Aydin
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 3
Top Topics
Logical Formulas
Reactive Systems
Temporal Logic
Formal Specification Language
Top Venues
SIU
J. Circuits Syst. Comput.
</>
Publications
</>
Sertaç Kagan Aydin
,
Ebru Aydin Gol
Synthesis of Monitoring Rules with STL.
J. Circuits Syst. Comput.
29 (11) (2020)
Sertaç Kagan Aydin
,
Ebru Aydin Göl
Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.
SIU
(2019)
Sertaç Kagan Aydin
,
Ebru Aydin Gol
On the use of genetic algorithms for synthesis of signal temporal logic formulas.
SIU
(2018)