Abstract
| 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 | |
| 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 | United Kingdom |
| City | London |
| Period | 11/04/2015 → 18/04/2015 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Number | 9035 |
| ISSN | 0302-9743 |
Fingerprint
Cite this
}
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 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
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 -