@misc{indiciae50f8e5588e08,
  title = {State-Space Abstractions for Parametric Timed Games},
  author = {Mikael Bisgaard Dahlsen-Jensen and Laure Petrucci and Jaco van de Pol},
  year = {2026},
  url = {https://arxiv.org/abs/2606.21516},
  note = {Source identifier: 2606.21516}
}