A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

First Page		Document Content
Date: 2013-01-11 18:40:10		A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen† Add to Reading List Source URL: cs.au.dk Download Document from Source Website File Size: 484,17 KB Share Document on Facebook