by Gul Agha (Editor), Gul Agha (Editor), Benny Van Houdt (Editor)
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. Markov decision processes and Markovian analysis;
Format: Paperback
Pages: 400
Edition: 1st ed. 2016
Publisher: Springer
Published: 03 Aug 2016
ISBN 10: 3319434241
ISBN 13: 9783319434247