Irmak Saglam

21 papers A* 1A 1B 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Incremental Data-Driven Policy Synthesis via Game Abstractions.
AAAI
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2025 B conf
Fair Quantitative Games.
FoSSaCS
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Fair Quantitative Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Incremental Data-Driven Policy Synthesis via Game Abstractions.
CoRR
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2025 B conf
Quantitative Strategy Templates.
ATVA
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Quantitative Strategy Templates.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2024 B conf
A Decremental Algorithm for Fair Büchi Games.
ATVA
Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon
2024 A conf
Directed Regular and Context-Free Languages.
STACS
Moses Ganardi, Irmak Saglam, Georg Zetzsche
2024 J jnl
Directed Regular and Context-Free Languages.
CoRR
Moses Ganardi, Irmak Saglam, Georg Zetzsche
2024 — conf
Fair ω-Regular Games.
FoSSaCS (1)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2024 — conf
Rabin Games and Colourful Universal Trees.
TACAS (3)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024 J jnl
Rabin Games and Colourful Universal Trees.
CoRR
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024 — conf
Solving Two-Player Games Under Progress Assumptions.
VMCAI (1)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2023 J jnl
Fair ω-Regular Games.
CoRR
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2023 — conf
Solving Odd-Fair Parity Games.
FSTTCS
Irmak Saglam, Anne-Kathrin Schmuck
2023 J jnl
Solving Odd-Fair Parity Games.
CoRR
Irmak Saglam, Anne-Kathrin Schmuck
2023 J jnl
Solving Two-Player Games under Progress Assumptions.
CoRR
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2020 J jnl
Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.
CoRR
Irmak Saglam, Ebru Aydin Gol
2020 — conf
Synthesis of Controllable ptSTL Formulas.
SIU
Irmak Saglam, Ebru Aydin Gol
2019 — conf
Cause Mining and Controller Synthesis with STL.
CDC
Irmak Saglam, Ebru Aydin Gol
2019 J jnl
Cause Mining and Controller Synthesis with STL.
CoRR
Irmak Saglam, Ebru Aydin Gol