Author: | ISBN: | 9783319434254 | |
Publisher: | Springer International Publishing | Publication: | August 2, 2016 |
Imprint: | Springer | Language: | English |
Author: | |
ISBN: | 9783319434254 |
Publisher: | Springer International Publishing |
Publication: | August 2, 2016 |
Imprint: | Springer |
Language: | English |
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.
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.