Beschreibung:
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.
Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.