Coming soon

The following articles have been accepted to TheoretiCS and will be published soon.
(The final versions of these articles are currently under preparation.)

• Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani.
  Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
• Srikanth Srinivasan.
  A Robust Version of Hegedűs's Lemma, with Applications
• Pierre Ohlmann.
  Characterizing Positionality in Games of Infinite Duration over Infinite Graphs