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

Quentin Guilmant, Jol Ouaknine, Isa Vialard

Browse the full FOSSACS paper archive.