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.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
91
91 s/w Abbildungen
XVII, 382 p. 91 illus.
ISBN-13
978-3-319-43425-4 (9783319434254)
DOI
10.1007/978-3-319-43425-4
Schweitzer Klassifikation
Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.
