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

Open in new window