Hunsberger, L. and 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), pp. 9776-9785. doi: 10.1609/aaai.v36i9.21213.