Agha / Van Houdt Quantitative Evaluation of Systems

13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
1. Auflage 2016
ISBN: 978-3-319-43425-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 382 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

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.

Zielgruppe

Research

Autoren/Hrsg.

Agha, Gul

Van Houdt, Benny

Inhaltsverzeichnis

Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.