Vehicle trajectory planning with interval arithmetic door J.M. Nauta