Projects per year
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 | |
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 |
Fingerprint
Dive into the research topics of 'Uppaal Stratego'. Together they form a unique fingerprint.Projects
- 4 Finished
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Project: Research