(1)
Cimatti, A.; Hunsberger, L.; Micheli, A.; Roveri, M. Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks With Uncertainty. AAAI 2014, 28.