Quantitative evaluation of systems: 13th international conference, qest 2016, quebec city, qc, canada, august 23-25, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319434247
Date de publication :
3 août 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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;