TY  - RPRT
TI  - The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
AU  - Quentin Guilmant
AU  - Joël Ouaknine
AU  - Isa Vialard
PY  - 2026
UR  - https://arxiv.org/abs/2507.10550
ID  - 2507.10550
ER  -