Hunsberger, Luke, and Roberto Posenato. “Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks With Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 9 (June 28, 2022): 9776-9785. Accessed November 21, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/21213.