1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Isa Vialard, Joël Ouaknine
The Value Problem for weighted timed games, an extension of timed automata with weights and adversity, consists in determining, given a weighted timed game with a reachability obje…