Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Kim Guldstrand Larsen

doi:10.1007/978-3-642-33365-1_2

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

7 Citations (Scopus)

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Volume	7595
Publisher	Springer
Publication date	2012
Pages	7-10
DOIs	https://doi.org/10.1007/978-3-642-33365-1_2
Publication status	Published - 2012
Event	FORMATS12: Formal Modeling of Timed Systems - London, UK, London, United Kingdom Duration: 18 Sept 2012 → 20 Sept 2012 Conference number: 10

Conference

Conference	FORMATS12
Number	10
Location	London, UK
Country/Territory	United Kingdom
City	London
Period	18/09/2012 → 20/09/2012

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Access to Document

10.1007/978-3-642-33365-1_2

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{0414804b39744605b2ee803ce97dd0c6,

title = "Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems",

author = "Larsen, {Kim Guldstrand}",

year = "2012",

doi = "10.1007/978-3-642-33365-1_2",

language = "English",

volume = "7595",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "7--10",

booktitle = "Formal Modeling and Analysis of Timed Systems",

address = "Germany",

note = "FORMATS12 ; Conference date: 18-09-2012 Through 20-09-2012",

}

Larsen, KG 2012, Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems. in Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. vol. 7595, Springer, Lecture Notes in Computer Science, pp. 7-10, FORMATS12, London, United Kingdom, 18/09/2012. https://doi.org/10.1007/978-3-642-33365-1_2

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems. / Larsen, Kim Guldstrand.
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Vol. 7595 Springer, 2012. p. 7-10 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

AU - Larsen, Kim Guldstrand

N1 - Conference code: 10

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84866665577&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33365-1_2

DO - 10.1007/978-3-642-33365-1_2

M3 - Article in proceeding

VL - 7595

T3 - Lecture Notes in Computer Science

SP - 7

EP - 10

BT - Formal Modeling and Analysis of Timed Systems

PB - Springer

T2 - FORMATS12

Y2 - 18 September 2012 through 20 September 2012

ER -

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Conference

Access to Document

AUB Link

Other files and links

Cite this