MITL Verification Under Timing Uncertainty. - Daniel Selvaratnam; Michael Cantoni; J. M. Davoren; Iman Shames (FORMATS, 2022)

Sampling polynomial trajectories for LTL verification. - Daniel Selvaratnam; Michael Cantoni; J. M. Davoren; Iman Shames (Theor. Comput. Sci., 2022)