On the Value Problem in Weighted Timed Games.

Patricia Bouyer, Samy Jaziri, Nicolas Markey

Browse the full CONCUR paper archive.