Name
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-662-46681-0_16 | TACAS |
DocType | Citations | PageRank |
Conference | 4 | 0.41 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandre David | 1 | 1667 | 76.52 |
| Peter Gjøl Jensen | 2 | 32 | 9.38 |
| Kim Guldstrand Larsen | 3 | 4434 | 346.88 |
| Marius Mikučionis | 4 | 799 | 33.52 |
| Jakob Haahr Taankvist | 5 | 34 | 4.23 |