Alexandre David (Visiting researcher)

Activity: Visiting another research institution


Invited visit in Nantes to work on UPPAAL-Tiga

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.
Period5 Feb 20079 Feb 2007