collaborators

1 paper

cs.GT2026

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable

Quentin Guilmant, Joël Ouaknine, Isa Vialard

The Value Problem for weighted timed games (WTGs) consists in determining, given a two-player weighted timed game with a reachability objective and a rational threshold, whether or…