DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS. - MONMEGE, BENJAMIN; PARREAUX, JULIE; REYNIER, PIERRE-ALAIN (Logical Methods in Computer Science (LMCS), 2025)