UPPAAL-Tiga: Timed Games for Everyone
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...
Main Authors: | , , , , , |
---|---|
Other Authors: | , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2006
|
Subjects: | |
Online Access: | https://hal.archives-ouvertes.fr/hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470/document https://hal.archives-ouvertes.fr/hal-00350470/file/BCDFLL-nwpt06.pdf |
id |
ftccsdartic:oai:HAL:hal-00350470v1 |
---|---|
record_format |
openpolar |
spelling |
ftccsdartic:oai:HAL:hal-00350470v1 2023-05-15T16:48:05+02:00 UPPAAL-Tiga: Timed Games for Everyone Behrmann, Gerd Cougnard, Agnès David, Alexandre Fleury, Emmanuel Larsen, Kim Guldstrand Lime, Didier Center for Indlejrede Software Systemer (CISS) Aalborg University Denmark (AAU) Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) 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) Reykjavik, Iceland 2006 https://hal.archives-ouvertes.fr/hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470/document https://hal.archives-ouvertes.fr/hal-00350470/file/BCDFLL-nwpt06.pdf en eng HAL CCSD hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470/document https://hal.archives-ouvertes.fr/hal-00350470/file/BCDFLL-nwpt06.pdf info:eu-repo/semantics/OpenAccess Nordic Workshop on Programming Theory (NWPT'06) https://hal.archives-ouvertes.fr/hal-00350470 Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] info:eu-repo/semantics/conferenceObject Conference papers 2006 ftccsdartic 2021-12-26T00:34:15Z 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. Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
institution |
Open Polar |
collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
op_collection_id |
ftccsdartic |
language |
English |
topic |
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] |
spellingShingle |
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] Behrmann, Gerd Cougnard, Agnès David, Alexandre Fleury, Emmanuel Larsen, Kim Guldstrand Lime, Didier UPPAAL-Tiga: Timed Games for Everyone |
topic_facet |
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] |
description |
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. |
author2 |
Center for Indlejrede Software Systemer (CISS) Aalborg University Denmark (AAU) Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) 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 |
author |
Behrmann, Gerd Cougnard, Agnès David, Alexandre Fleury, Emmanuel Larsen, Kim Guldstrand Lime, Didier |
author_facet |
Behrmann, Gerd Cougnard, Agnès David, Alexandre Fleury, Emmanuel Larsen, Kim Guldstrand Lime, Didier |
author_sort |
Behrmann, Gerd |
title |
UPPAAL-Tiga: Timed Games for Everyone |
title_short |
UPPAAL-Tiga: Timed Games for Everyone |
title_full |
UPPAAL-Tiga: Timed Games for Everyone |
title_fullStr |
UPPAAL-Tiga: Timed Games for Everyone |
title_full_unstemmed |
UPPAAL-Tiga: Timed Games for Everyone |
title_sort |
uppaal-tiga: timed games for everyone |
publisher |
HAL CCSD |
publishDate |
2006 |
url |
https://hal.archives-ouvertes.fr/hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470/document https://hal.archives-ouvertes.fr/hal-00350470/file/BCDFLL-nwpt06.pdf |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Nordic Workshop on Programming Theory (NWPT'06) https://hal.archives-ouvertes.fr/hal-00350470 Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland |
op_relation |
hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470 https://hal.archives-ouvertes.fr/hal-00350470/document https://hal.archives-ouvertes.fr/hal-00350470/file/BCDFLL-nwpt06.pdf |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1766038211415506944 |