UPPAAL-Tiga: Timed Games for Everyone

Alexandre David; Kim Guldstrand Larsen; Gerd Behrmann; Emmanuel Fleury; Didier Lime; Agnès Cougnard

UPPAAL-Tiga: Timed Games for Everyone

Alexandre David, Kim Guldstrand Larsen, Gerd Behrmann, Emmanuel Fleury, Didier Lime, Agnès Cougnard

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning

Abstract

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.

Originalsprog	Engelsk
Titel	Proceedings of the 18th Nordic Workshop on Programming Theory
Redaktører	Luca Aceto, Anna Ingolfdottir
Antal sider	4
Forlag	University of Reykjavik
Publikationsdato	2006
Status	Udgivet - 2006
Begivenhed	18th Nordic Workshop on Programming Theory (NWPT'06) - Reykjavik, Island Varighed: 18 okt. 2006 → 20 okt. 2006

Konference

Konference	18th Nordic Workshop on Programming Theory (NWPT'06)
Land/Område	Island
By	Reykjavik
Periode	18/10/2006 → 20/10/2006

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inbook{aa971ae0a07c11db8ed6000ea68e967b,

title = "UPPAAL-Tiga: Timed Games for Everyone",

abstract = "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.",

keywords = "timed-automata, timed games, model-checker, UPPAAL",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Gerd Behrmann and Emmanuel Fleury and Didier Lime and Agn{\`e}s Cougnard",

year = "2006",

language = "English",

editor = "Luca Aceto and Anna Ingolfdottir",

booktitle = "Proceedings of the 18th Nordic Workshop on Programming Theory",

publisher = "University of Reykjavik",

note = "18th Nordic Workshop on Programming Theory (NWPT'06) ; Conference date: 18-10-2006 Through 20-10-2006",

}

TY - ABST

T1 - UPPAAL-Tiga

T2 - 18th Nordic Workshop on Programming Theory (NWPT'06)

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Behrmann, Gerd

AU - Fleury, Emmanuel

AU - Lime, Didier

AU - Cougnard, Agnès

PY - 2006

Y1 - 2006

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

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

KW - timed-automata

KW - timed games

KW - model-checker

KW - UPPAAL

M3 - Conference abstract in proceeding

BT - Proceedings of the 18th Nordic Workshop on Programming Theory

A2 - Aceto, Luca

A2 - Ingolfdottir, Anna

PB - University of Reykjavik

Y2 - 18 October 2006 through 20 October 2006

ER -

UPPAAL-Tiga: Timed Games for Everyone

Abstract

Konference

AUB Link

Fingeraftryk

Citationsformater