Abstract:
Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for (hybrid) 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. In this talk we discuss recent features and applications of Uppaal Stratego.
Bio:
Peter is a recent PhD graduate from Aalborg University with a thesis titled “Efficient Analysis and Synthesis of Complex Quantitative Systems”. Efficient implementation of tools for verification, synthesis and learning are his core interests – culminating in two gold medals at the annual Model Checking Competition as part of the TAPAAL team. Furthermore Peter maintains the newest addition to the Uppaal Family: Stratego.
