TY  - RPRT
TI  - A Zone-Based Algorithm for Timed Parity Games
AU  - Gilles Geeraerts
AU  - Frédéric Herbreteau
AU  - Jean-François Raskin
AU  - Alexis Reynouard
PY  - 2025
UR  - https://arxiv.org/abs/2510.07361
ID  - 2510.07361
ER  -