UPPAAL-Tiga: Timed Games for Everyone - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

UPPAAL-Tiga: Timed Games for Everyone

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
BCDFLL-nwpt06.pdf (93.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00350470 , version 1 (06-01-2009)

Identifiants

  • HAL Id : hal-00350470 , version 1

Citer

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, et al.. UPPAAL-Tiga: Timed Games for Everyone. Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland. ⟨hal-00350470⟩
299 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More