Irmak Saglam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Incremental Data-Driven Policy Synthesis via Game Abstractions. | Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck |
| 2026 | ICALP | Infinite-State Games with Energy Objectives Beyond Counters. | Irmak Saglam, Georg Zetzsche |
| 2025 | ATVA | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | FOSSACS | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | ATVA | A Decremental Algorithm for Fair Bchi Games. | Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon |
| 2024 | FOSSACS | Fair ω-Regular Games. | Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | STACS | Directed Regular and Context-Free Languages. | Moses Ganardi, Irmak Saglam, Georg Zetzsche |
| 2024 | TACAS | Rabin Games and Colourful Universal Trees. | Rupak Majumdar, Irmak Saglam, K. S. Thejaswini |
| 2024 | VMCAI | Solving Two-Player Games Under Progress Assumptions. | Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak |