@misc{indiciae92de6c53520c,
  title = {The Value Problem for Weighted Timed Games with Two Clocks is Undecidable},
  author = {Quentin Guilmant and Joël Ouaknine and Isa Vialard},
  year = {2026},
  url = {https://arxiv.org/abs/2507.10550},
  note = {Source identifier: 2507.10550}
}