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

First Page	Meta Content
	A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen† Add to Reading List Document Date: 2015-08-11 05:53:51 Open Document File Size: 469,73 KB Share Result on Facebook

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