An Efficient Formula Synthesis Method with Past Signal Temporal Logic. - Mert Ergurtuna; Ebru Aydin Gol (CoRR, 2019)

Classification of Time-Series Data using ptSTL. - Mert Ergürtuna; Ebru Aydin Gol (SIU, 2020)

An automated system repair framework with signal temporal logic. - Mert Ergurtuna; Beyazit Yalcinkaya; Ebru Aydin Gol (Acta Informatica, 2022)