Precomputing reconfiguration strategies based on stochastic timed game automata