Hunsberger, L.; Posenato, R. Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks With Uncertainty. AAAI 2022, 36, 9776-9785.