Abstract is missing.
- Ackermannian Completion of SeparatorsJérôme Leroux. 3-10 [doi]
- Fair ømega-Regular GamesDaniel Hausmann 0001, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck. 13-33 [doi]
- Stochastic Window Mean-Payoff GamesLaurent Doyen 0001, Pranshu Gaba, Shibashis Guha. 34-54 [doi]
- Symbolic Solution of Emerson-Lei Games for Reactive SynthesisDaniel Hausmann 0001, Mathieu Lehaut, Nir Piterman. 55-78 [doi]
- Parity Games on Temporal GraphsPete Austin, Sougata Bose, Patrick Totzke. 79-98 [doi]
- Drawing from an Urn is IsometricBart Jacobs 0001. 101-120 [doi]
- Enriching Diagrams with Algebraic OperationsAlejandro Villoria, Henning Basold, Alfons Laarman. 121-143 [doi]
- Monoidal Extended Stone DualityFabian Birkmann, Henning Urbat, Stefan Milius. 144-165 [doi]
- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory)Dario Stein, Richard Samuelson. 166-187 [doi]
- Determinization of Integral Discounted-Sum Automata is DecidableShaull Almagor, Neta Dafni. 191-211 [doi]
- Checking History-Determinism is NP-hard for Parity AutomataAditya Prakash 0002. 212-233 [doi]
- Tighter Construction of Tight Büchi AutomataMarek Jankola, Jan Strejcek. 234-255 [doi]
- Synthesis with Privacy Against an ObserverOrna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy. 256-277 [doi]