Optimal Reachability in Weighted Timed Games (2004)

by R ALUR, M BERNADSKY, P MADHUSUDAN
Venue:Proc. 31st International Colloquium on Automata, Languages and Programming (ICALP’04