Precomputing reconfiguration strategies based on stochastic timed game automata.

Hendrik Gttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schrr, Alexander Fay

Browse the full MODELS paper archive.