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 proceedingArticle in proceedingResearchpeer-review

46 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 languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
EditorsChristel Baier, Cesare Tinelli
Number of pages6
Place of PublicationLondon, UK
PublisherSpringer
Publication date2015
Pages206-211
ISBN (Print)978-3-662-46680-3
ISBN (Electronic)978-3-662-46681-0
DOIs
Publication statusPublished - 2015
EventTools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 11 Apr 201518 Apr 2015
Conference number: 21

Conference

ConferenceTools and Algorithms for the Construction and Analysis of Systems
Number21
CountryUnited Kingdom
CityLondon
Period11/04/201518/04/2015
SeriesLecture Notes in Computer Science
Number9035
ISSN0302-9743

Fingerprint

Query languages
Model checking

Cite this

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M., & Taankvist, J. H. (2015). Uppaal Stratego. In C. Baier, & C. Tinelli (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 (pp. 206-211). London, UK: Springer. Lecture Notes in Computer Science, No. 9035 https://doi.org/10.1007/978-3-662-46681-0_16
David, Alexandre ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Mikučionis, Marius ; Taankvist, Jakob Haahr. / Uppaal Stratego. Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. editor / Christel Baier ; Cesare Tinelli. London, UK : Springer, 2015. pp. 206-211 (Lecture Notes in Computer Science; No. 9035).
@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č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",

}

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; Mikučionis, Marius; Taankvist, Jakob Haahr.

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 proceedingArticle in proceedingResearchpeer-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

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

ER -

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