D4.D — Timed games and deterministic separability

ICALP 2020