A formal language for specifying time-dependent constraints like "reach goal within 10 seconds" or "avoid obstacles until task completion."