Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Editors: Agha, Gul, Van Houdt, Benny (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.
The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
- Table of contents (24 chapters)
-
-
Property-Driven State-Space Coarsening for Continuous Time Markov Chains
Pages 3-18
-
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes
Pages 19-34
-
Data-Efficient Bayesian Verification of Parametric Markov Chains
Pages 35-51
-
Exploiting Robust Optimization for Interval Probabilistic Bisimulation
Pages 55-71
-
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation
Pages 72-88
-
Table of contents (24 chapters)
- Download Preface 1 PDF (47.1 KB)
- Download Sample pages 2 PDF (1 MB)
- Download Table of contents PDF (74.3 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Quantitative Evaluation of Systems
- Book Subtitle
- 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
- Editors
-
- Gul Agha
- Benny Van Houdt
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9826
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-43425-4
- DOI
- 10.1007/978-3-319-43425-4
- Softcover ISBN
- 978-3-319-43424-7
- Edition Number
- 1
- Number of Pages
- XVII, 382
- Number of Illustrations
- 91 b/w illustrations
- Topics
