Hunsberger, L., & Posenato, R. (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-9785. https://doi.org/10.1609/aaai.v36i9.21213