Login / Signup
Mert Ergurtuna
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
Petri Net
Satisfiability Problem
Temporal Logic
Dynamic Systems
Top Venues
CoRR
Acta Informatica
</>
Publications
</>
Mert Ergurtuna
,
Beyazit Yalcinkaya
,
Ebru Aydin Gol
An automated system repair framework with signal temporal logic.
Acta Informatica
59 (2-3) (2022)
Mert Ergurtuna
,
Ebru Aydin Gol
An Efficient Formula Synthesis Method with Past Signal Temporal Logic.
CoRR
(2019)