Saglam, Irmak

1. Cause Mining and Controller Synthesis with STL
   2019/04/07 by Saglam, Irmak, Gol, Ebru Aydin · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Rabin Games and Colourful Universal Trees
   2024/01/15 by Rupak Majumdar, Majumdar, Rupak, Irmak Sağlam +3 · 1 citation
   Computer Science · Psychology · Economics, Econometrics and Finance · #Artificial Intelligence in Games #Gambling Behavior and Treatments #Game Theory and Voting Systems
3. Directed Regular and Context-Free Languages
   2024/01/13 by Moses Ganardi, Irmak Sağlam, Ganardi, Moses +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #semigroups and automata theory