Optimal Reachability for Weighted Timed Games.

Rajeev Alur, Mikhail Bernadsky, P. Madhusudan

Browse the full ICALP paper archive.