TY  - RPRT
TI  - Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
AU  - Benjamin Monmege
AU  - Julie Parreaux
AU  - Pierre-Alain Reynier
PY  - 2025
DO  - 10.46298/lmcs-21(1:8)2025
UR  - https://arxiv.org/abs/2207.01608
ID  - 2207.01608
ER  -