Uppaal Stratego

Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marius Mikučionis; Jakob Haahr Taankvist

doi:10.1007/978-3-662-46681-0_16

Uppaal Stratego

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

145 Citations (Scopus)

Abstract

Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language. The paper describes the strategies and their properties, construction and transformation algorithms and a typical tool usage scenario.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
Editors	Christel Baier, Cesare Tinelli
Number of pages	6
Place of Publication	London, UK
Publisher	Springer
Publication date	2015
Pages	206-211
ISBN (Print)	978-3-662-46680-3
ISBN (Electronic)	978-3-662-46681-0
DOIs	https://doi.org/10.1007/978-3-662-46681-0_16
Publication status	Published - 2015
Event	Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom Duration: 11 Apr 2015 → 18 Apr 2015 Conference number: 21

Conference

Conference	Tools and Algorithms for the Construction and Analysis of Systems
Number	21
Country/Territory	United Kingdom
City	London
Period	11/04/2015 → 18/04/2015

Series	Lecture Notes in Computer Science
Number	9035
ISSN	0302-9743

Access to Document

10.1007/978-3-662-46681-0_16

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{651b0ec177cb4aa5bebfafbd681e4af9,

title = "Uppaal Stratego",

abstract = "Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language. The paper describes the strategies and their properties, construction and transformation algorithms and a typical tool usage scenario.",

author = "Alexandre David and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Marius Miku{\v c}ionis and Taankvist, {Jakob Haahr}",

year = "2015",

doi = "10.1007/978-3-662-46681-0_16",

language = "English",

isbn = "978-3-662-46680-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9035",

pages = "206--211",

editor = "Christel Baier and Cesare Tinelli",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

note = "Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 ; Conference date: 11-04-2015 Through 18-04-2015",

}

David, A, Jensen, PG , Larsen, KG , Mikučionis, M & Taankvist, JH 2015, Uppaal Stratego. in C Baier & C Tinelli (eds), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Springer, London, UK, Lecture Notes in Computer Science, no. 9035, pp. 206-211, Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 11/04/2015. https://doi.org/10.1007/978-3-662-46681-0_16

Uppaal Stratego. / David, Alexandre; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand et al.
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. ed. / Christel Baier; Cesare Tinelli. London, UK: Springer, 2015. p. 206-211 (Lecture Notes in Computer Science; No. 9035).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Uppaal Stratego

AU - David, Alexandre

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Mikučionis, Marius

AU - Taankvist, Jakob Haahr

N1 - Conference code: 21

PY - 2015

Y1 - 2015

N2 - Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language. The paper describes the strategies and their properties, construction and transformation algorithms and a typical tool usage scenario.

AB - Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language. The paper describes the strategies and their properties, construction and transformation algorithms and a typical tool usage scenario.

UR - http://dx.doi.org/10.1007/978-3-662-46681-0_16

U2 - 10.1007/978-3-662-46681-0_16

DO - 10.1007/978-3-662-46681-0_16

M3 - Article in proceeding

SN - 978-3-662-46680-3

T3 - Lecture Notes in Computer Science

SP - 206

EP - 211

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Baier, Christel

A2 - Tinelli, Cesare

PB - Springer

CY - London, UK

T2 - Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 11 April 2015 through 18 April 2015

ER -

Uppaal Stratego

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

SENSATION: Self Energy-Supporting Autonomous Computation

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this

Uppaal Stratego

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Projects

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

SENSATION: Self Energy-Supporting Autonomous Computation

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this