UPPAAL-Tiga: Timed Games for Everyone - Archive ouverte HAL
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)

Emmanuel Fleury  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00350470

Soumis le : mardi 6 janvier 2009-18:02:09

Dernière modification le : vendredi 5 janvier 2024-03:22:02

Archivage à long terme le : mardi 8 juin 2010-18:45:55

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN IRCCYN-MEFORBIO UNAM LS2N ANR NANTES-UNIVERSITE
335 Consultations
206 Téléchargements

Partager

More