English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

Soudjani, S., Majumdar, R., & Nagapetyan, T. (2017). Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In N. Bertrand, & L. Bortolussi (Eds.), Quantitative Evaluation of Systems (pp. 351-367). Berlin: Springer. doi:10.1007/978-3-319-66335-7_24.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0000-ED1E-5 Version Permalink: https://hdl.handle.net/21.11116/0000-0000-ED2B-6
Genre: Conference Paper
Latex : Multilevel {Monte Carlo} Method for Statistical Model Checking of Hybrid Systems

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Soudjani, Sadegh1, Author           
Majumdar, Rupak1, Author           
Nagapetyan, Tigran2, Author
Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20172017
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: SoudjaniQESTS2017
DOI: 10.1007/978-3-319-66335-7_24
 Degree: -

Event

show
hide
Title: 14th International Conference on Quantitative Evaluation of Systems
Place of Event: Berlin, Germany
Start-/End Date: 2017-09-05 - 2017-09-07

Legal Case

show

Project information

show

Source 1

show
hide
Title: Quantitative Evaluation of Systems
  Abbreviation : QEST 2017
  Subtitle : 14th International Conference, QEST 2017 ; Berlin, Germany, September 5-7, 2017 ; Proceedings
Source Genre: Proceedings
 Creator(s):
Bertrand, Nathalie1, Editor
Bortolussi, Luca1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 351 - 367 Identifier: ISBN: 978-3-319-66334-0

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 10503 Sequence Number: - Start / End Page: - Identifier: -