Timed Games and Deterministic Separability.

Lorenzo Clemente, Slawomir Lasota, Radoslaw Pirkowski

Browse the full ICALP paper archive.