3 citations · 4 across the 6 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2026
Infinite-state Games with Energy Objectives Beyond Counters
Irmak Sağlam, Georg Zetzsche
In the theory of games on infinite-state arenas, there is a stark contrast between (i) recursion-based models such as pushdown systems and extensions on one hand, and (ii) counter-…
cs.FL2024
Directed Regular and Context-Free Languages
Moses Ganardi, Irmak Saglam, Georg Zetzsche
We study the problem of deciding whether a given language is directed. A language is \emph{directed} if every pair of words in have a common (scattered) superword in . D…
cs.FL2020
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
Irmak Saglam, Ebru Aydin Gol
In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of…