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