Irmak Saglam

According to our database, Irmak Saglam authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Solving Two-Player Games Under Progress Assumptions.

Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Rabin Games and Colourful Universal Trees.

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Directed Regular and Context-Free Languages.

Moses Ganardi, Irmak Saglam, Georg Zetzsche

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Fair ømega-Regular Games.

Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Fair $ω$-Regular Games.

Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck

CoRR, 2023

Solving Odd-Fair Parity Games.

Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2020

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.

Irmak Saglam, Ebru Aydin Gol

CoRR, 2020

Synthesis of Controllable ptSTL Formulas.

Irmak Saglam, Ebru Aydin Gol

Proceedings of the 28th Signal Processing and Communications Applications Conference, 2020

2019

Cause Mining and Controller Synthesis with STL.

Irmak Saglam, Ebru Aydin Gol

Proceedings of the 58th IEEE Conference on Decision and Control, 2019