1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Quentin Guilmant, Joël Ouaknine, Isa Vialard +1
The Value Problem for weighted timed games consists in determining, given a two-player weighted timed game with a reachability objective and a rational threshold, whether or not th…