Hunsberger, Luke, and Roberto Posenato. 2022. “Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks With Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9776-85. https://doi.org/10.1609/aaai.v36i9.21213.