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 proceedingKonferenceabstrakt i proceedingForskning

Abstrakt

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.
OriginalsprogEngelsk
TitelProceedings of the 18th Nordic Workshop on Programming Theory
RedaktørerLuca Aceto, Anna Ingolfdottir
Antal sider4
ForlagUniversity of Reykjavik
Publikationsdato2006
StatusUdgivet - 2006
Begivenhed18th Nordic Workshop on Programming Theory (NWPT'06) - Reykjavik, Island
Varighed: 18 okt. 200620 okt. 2006

Konference

Konference18th Nordic Workshop on Programming Theory (NWPT'06)
Land/OmrådeIsland
ByReykjavik
Periode18/10/200620/10/2006

Fingeraftryk

Dyk ned i forskningsemnerne om 'UPPAAL-Tiga: Timed Games for Everyone'. Sammen danner de et unikt fingeraftryk.

Citationsformater