@misc{indiciaee87ff0ddea15, title = {A Zone-Based Algorithm for Timed Parity Games}, author = {Gilles Geeraerts and Frédéric Herbreteau and Jean-François Raskin and Alexis Reynouard}, year = {2025}, url = {https://arxiv.org/abs/2510.07361}, note = {Source identifier: 2510.07361} }