Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.

Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri

Browse the full AAAI paper archive.