The author focuses on developing strategies to optimize MITL temporal robustness in scenarios with uncertain navigation times, using formal methods and Markov Decision Processes.