Reaching as Cheap as Possible in 1-clock Robust Weighted Timed Games

Nathalie Bertrand, Maëlle Gautrin, Julie Parreaux

The value problem for 2-player games on graph generally consists in determining the minimal value Min can ensure against any possible strategy for Max. We consider here the value p…