The first prototype of UPPAAL-Tiga was born in 2005
when we proposed the first efficient on-the-fly algorithm
for solving games based on timed game automata with respect
to reachability and safety properties. Since then the
prototype has matured to a fully integrated tool with
dramatic improvements both in terms of performance and
the availability of the extended input language of UPPAAL
4.0.
This visit aims at porting time optimal strategy and
pruning algorithms into the new tool and strengthen our
techniques to deal with the problem of jobshop scheduling
with uncertainties.