Reaching as Cheap as Possible in 1-Clock Robust Weighted Timed Games.

Nathalie Bertrand, Malle Gautrin, Julie Parreaux

Browse the full CONCUR paper archive.