One-Clock Priced Timed Games are PSPACE-hard.

John Fearnley, Rasmus Ibsen-Jensen, Rahul Savani

Browse the full LICS paper archive.