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