Redirecting to /applied-mathematics/events/phd-defence-yinan-li-robustly-complete-temporal-logic