TY  - RPRT
TI  - Controller Synthesis for Parametric Timed Games
AU  - Mikael Bisgaard Dahlsen-Jensen
AU  - Baptiste Fievet
AU  - Laure Petrucci
AU  - Jaco van de Pol
PY  - 2025
UR  - https://arxiv.org/abs/2506.15532
ID  - 2506.15532
ER  -