Abstract
Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison aswell 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.
Cite
CITATION STYLE
David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M., & Taankvist, J. H. (2015). Uppaal stratego. In Lecture Notes in Computer Science (Vol. 9035, pp. 206–211). Springer Verlag. https://doi.org/10.1007/978-3-662-46681-0_16
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
