Irmak Saglam

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Controller Synthesis

Nash Equilibria

Weighted Majority

Top Venues

Publications

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. TACAS (3) (2024)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games Under Progress Assumptions. VMCAI (1) (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair ømega-Regular Games. FoSSaCS (1) (2024)
Moses Ganardi, Irmak Saglam, Georg Zetzsche
Directed Regular and Context-Free Languages. STACS (2024)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. CoRR (2024)
Moses Ganardi, Irmak Saglam, Georg Zetzsche
Directed Regular and Context-Free Languages. CoRR (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair $ω$-Regular Games. CoRR (2023)
Irmak Saglam, Anne-Kathrin Schmuck
Solving Odd-Fair Parity Games. FSTTCS (2023)
Irmak Saglam, Anne-Kathrin Schmuck
Solving Odd-Fair Parity Games. CoRR (2023)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games under Progress Assumptions. CoRR (2023)
Irmak Saglam, Ebru Aydin Gol
Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas. CoRR (2020)
Irmak Saglam, Ebru Aydin Gol
Synthesis of Controllable ptSTL Formulas. SIU (2020)
Irmak Saglam, Ebru Aydin Gol
Cause Mining and Controller Synthesis with STL. CoRR (2019)
Irmak Saglam, Ebru Aydin Gol
Cause Mining and Controller Synthesis with STL. CDC (2019)