Uppaal Stratego

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

doi:10.1007/978-3-662-46681-0_16

Uppaal Stratego

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

132 Citationer (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.

Originalsprog	Engelsk
Titel	Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015
Redaktører	Christel Baier, Cesare Tinelli
Antal sider	6
Udgivelsessted	London, UK
Forlag	Springer
Publikationsdato	2015
Sider	206-211
ISBN (Trykt)	978-3-662-46680-3
ISBN (Elektronisk)	978-3-662-46681-0
DOI	https://doi.org/10.1007/978-3-662-46681-0_16
Status	Udgivet - 2015
Begivenhed	Tools and Algorithms for the Construction and Analysis of Systems - London, Storbritannien Varighed: 11 apr. 2015 → 18 apr. 2015 Konferencens nummer: 21

Konference

Konference	Tools and Algorithms for the Construction and Analysis of Systems
Nummer	21
Land/Område	Storbritannien
By	London
Periode	11/04/2015 → 18/04/2015

Navn	Lecture Notes in Computer Science
Nummer	9035
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-662-46681-0_16

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

http://dx.doi.org/10.1007/978-3-662-46681-0_16

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)
FP7 STREP
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)
FP7 FET Proactive
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)
Artemis JU
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{651b0ec177cb4aa5bebfafbd681e4af9,

title = "Uppaal Stratego",

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.",

author = "Alexandre David and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Marius Miku{\v c}ionis and Taankvist, {Jakob Haahr}",

year = "2015",

doi = "10.1007/978-3-662-46681-0_16",

language = "English",

isbn = "978-3-662-46680-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9035",

pages = "206--211",

editor = "Christel Baier and Cesare Tinelli",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

note = "Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 ; Conference date: 11-04-2015 Through 18-04-2015",

}

David, A, Jensen, PG , Larsen, KG , Mikučionis, M & Taankvist, JH 2015, Uppaal Stratego. i C Baier & C Tinelli (red), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Springer, London, UK, Lecture Notes in Computer Science, nr. 9035, s. 206-211, Tools and Algorithms for the Construction and Analysis of Systems, London, Storbritannien, 11/04/2015. https://doi.org/10.1007/978-3-662-46681-0_16

Uppaal Stratego. / David, Alexandre; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand et al.
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. red. / Christel Baier; Cesare Tinelli. London, UK: Springer, 2015. s. 206-211 (Lecture Notes in Computer Science; Nr. 9035).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Uppaal Stratego

AU - David, Alexandre

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Mikučionis, Marius

AU - Taankvist, Jakob Haahr

N1 - Conference code: 21

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/978-3-662-46681-0_16

U2 - 10.1007/978-3-662-46681-0_16

DO - 10.1007/978-3-662-46681-0_16

M3 - Article in proceeding

SN - 978-3-662-46680-3

T3 - Lecture Notes in Computer Science

SP - 206

EP - 211

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Baier, Christel

A2 - Tinelli, Cesare

PB - Springer

CY - London, UK

T2 - Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 11 April 2015 through 18 April 2015

ER -

Uppaal Stratego

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Projekter

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

SENSATION: Self Energy-Supporting Autonomous Computation

MBAT: Model-based Analysis and Testing of Embedded Systems

Citationsformater