Aditi Dudeja is joining our research group as a postdoc from September onwards.

The paper “Fast Algorithms for Energy Games in Special Cases” by Sebastian Forster, Antonis Skarlatos, and Tijn de Vos has has been accepted to the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023).