3 citations · 4 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
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,…
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…