3 citations · 4 across the 6 of their papers we have counts for
7 papers
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-…
Rabin Games and Colourful Universal Trees
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
We provide an algorithm to solve Rabin and Streett games over graphs with vertices, edges, and colours that runs in time and $O…
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…
Solving Two-Player Games under Progress Assumptions
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Sağlam +1
This paper considers the problem of solving infinite two-player games over finite graphs under various classes of progress assumptions motivated by applications in cyber-physical s…
On the closed Ramsey numbers
Burak Kaya, Irmak Saglam
In this paper, we contribute to the study of topological partition relations for pairs of countable ordinals and prove that, for all integers , \begin{align*} R^{cl}(ω+n,…
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…
Cause Mining and Controller Synthesis with STL
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…