News

Published on
August 17, 2023
Last update: August 17, 2023

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). The preprint is available on  arXiv.

Pictogram of electric car