Showing cs.GTShow all
2 papers · 1 filter
cs.GT2026
Approximating the Value of Time-Bounded Weighted Timed Games
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…
cs.GT2025
(Un)Decidability of Two-Clock Weighted Timed Games
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…