Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri. Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 2242-2249, AAAI Press, 2014. [doi]
Abstract is missing.