Cimatti, Alessandro, Luke Hunsberger, Andrea Micheli, and Marco Roveri. “Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks With Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence 28, no. 1 (June 21, 2014). Accessed May 19, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/9040.