@misc{indiciae42e25f32505e,
  title = {Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata},
  author = {Étienne André and Didier Lime and Olivier H. Roux},
  year = {2026},
  doi = {10.46298/lmcs-22(2:11)2026},
  url = {https://arxiv.org/abs/2310.09109},
  note = {Source identifier: 2310.09109}
}