Uppaal Stratego

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

70 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
RedaktørerChristel Baier, Cesare Tinelli
Antal sider6
UdgivelsesstedLondon, UK
ForlagSpringer
Publikationsdato2015
Sider206-211
ISBN (Trykt)978-3-662-46680-3
ISBN (Elektronisk)978-3-662-46681-0
DOI
StatusUdgivet - 2015
BegivenhedTools and Algorithms for the Construction and Analysis of Systems - London, Storbritannien
Varighed: 11 apr. 201518 apr. 2015
Konferencens nummer: 21

Konference

KonferenceTools and Algorithms for the Construction and Analysis of Systems
Nummer21
LandStorbritannien
ByLondon
Periode11/04/201518/04/2015
NavnLecture Notes in Computer Science
Nummer9035
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Uppaal Stratego'. Sammen danner de et unikt fingeraftryk.

Citationsformater