Effinger, Robert, Brian Williams, Gerard Kelly, and Michael Sheehy. “Dynamic Controllability of Temporally-Flexible Reactive Programs”. Proceedings of the International Conference on Automated Planning and Scheduling 19, no. 1 (October 16, 2009): 122-129. Accessed August 22, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13372.