Uppaal Stratego

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

117 Citations (Scopus)

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 languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
EditorsChristel Baier, Cesare Tinelli
Number of pages6
Place of PublicationLondon, UK
PublisherSpringer
Publication date2015
Pages206-211
ISBN (Print)978-3-662-46680-3
ISBN (Electronic)978-3-662-46681-0
DOIs
Publication statusPublished - 2015
EventTools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 11 Apr 201518 Apr 2015
Conference number: 21

Conference

ConferenceTools and Algorithms for the Construction and Analysis of Systems
Number21
Country/TerritoryUnited Kingdom
CityLondon
Period11/04/201518/04/2015
SeriesLecture Notes in Computer Science
Number9035
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Uppaal Stratego'. Together they form a unique fingerprint.

Cite this