Uppaal Stratego

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

45 Citationer (Scopus)

Resumé

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.
OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
RedaktørerChristel Baier, Cesare Tinelli
Antal sider6
Udgivelses stedLondon, UK
ForlagSpringer
Publikationsdato2015
Sider206-211
ISBN (Trykt)978-3-662-46680-3
ISBN (Elektronisk)978-3-662-46681-0
DOI
StatusUdgivet - 2015
BegivenhedTools and Algorithms for the Construction and Analysis of Systems - London, Storbritannien
Varighed: 11 apr. 201518 apr. 2015
Konferencens nummer: 21

Konference

KonferenceTools and Algorithms for the Construction and Analysis of Systems
Nummer21
LandStorbritannien
ByLondon
Periode11/04/201518/04/2015
NavnLecture Notes in Computer Science
Nummer9035
ISSN0302-9743

Fingerprint

Query languages
Model checking

Citer dette

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M., & Taankvist, J. H. (2015). Uppaal Stratego. I C. Baier, & C. Tinelli (red.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 (s. 206-211). London, UK: Springer. Lecture Notes in Computer Science, Nr. 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. red. / Christel Baier ; Cesare Tinelli. London, UK : Springer, 2015. s. 206-211 (Lecture Notes in Computer Science; Nr. 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. i C Baier & C Tinelli (red), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Springer, London, UK, Lecture Notes in Computer Science, nr. 9035, s. 206-211, London, Storbritannien, 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. red. / Christel Baier; Cesare Tinelli. London, UK : Springer, 2015. s. 206-211 (Lecture Notes in Computer Science; Nr. 9035).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. I Baier C, Tinelli C, red., Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. London, UK: Springer. 2015. s. 206-211. (Lecture Notes in Computer Science; Nr. 9035). https://doi.org/10.1007/978-3-662-46681-0_16