[1]
A. Cimatti, L. Hunsberger, A. Micheli, and M. Roveri, “Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty”, AAAI, vol. 28, no. 1, Jun. 2014.