A Faster Algorithm for Solving One-Clock Priced Timed Games.

Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen

Browse the full CONCUR paper archive.