Overview
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.
- | Author: Gul Agha
- | Publisher: Springer
- | Publication Date: Aug 03, 2016
- | Number of Pages: 382 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3319434241
- | ISBN-13: 9783319434247