New group member: Aditi Dudeja
Aditi Dudeja is joining our research group as a postdoc from September onwards.
Paper accepted to GandALF 2023
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).
Paper accepted to ESA 2023
The manuscript “Bootstrapping Dynamic Distance Oracles” by Sebastian Forster, Gramoz Goranci, Yasamin Nazari, and Antonis Skarlatos has been accepted to the 31st Annual European Symposium on Algorithms (ESA 2023).
