UPPAAL-Tiga: Timed Games for Everyone

• Main Authors: Behrmann, Gerd, Cougnard, Agnès, David, Alexandre, Fleury, Emmanuel, Larsen, Kim Guldstrand, Lime, Didier
• Other Authors: Center for Indlejrede Software Systemer (CISS), Aalborg University Denmark (AAU), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), ANR-06-SETI-0003,DOTS,Systèmes distribués, ouverts et temporisés(2006)
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2006
• Subjects: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; Iceland
• Online Access: https://hal.science/hal-00350470; https://hal.science/hal-00350470/document; https://hal.science/hal-00350470/file/BCDFLL-nwpt06.pdf

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. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (several orders of magnitude) and the input language (complete support of all the language features of Uppaal). In addition, the tool supports the new feature of strategy generation with different compactness levels. In this paper we present this new version of Uppaal-Tiga.