UPPAAL-Tiga: Time for Playing Games!

In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototype presented at that time has now 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. The new tool can output strategies or let the user play against them both from the command line and from the graphical simulator that was completely re-designed.

• Type: Conference
• Year: 2007
• Where: CAV
• Authors: Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
• Keywords: CAV 2007, Extended Input Language, Efficient On-the-fly Algorithm, Formal Methods, first Prototype