Robust MITL planning under uncertain navigation times