UPPAAL-Tiga: Time for Playing Games! - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

UPPAAL-Tiga: Time for Playing Games!

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. 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.

Domaines

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

Dates et versions

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

Identifiants

Citer

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, et al.. UPPAAL-Tiga: Time for Playing Games!. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. pp.121-125, ⟨10.1007/978-3-540-73368-3_14⟩. ⟨hal-00350466⟩
678 Consultations
677 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More