TY  - RPRT
TI  - On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
AU  - Mikael Bisgaard Dahlsen-Jensen
AU  - Baptiste Fievet
AU  - Laure Petrucci
AU  - Jaco van de Pol
PY  - 2024
UR  - https://arxiv.org/abs/2401.11287
ID  - 2401.11287
ER  -