This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
Probabilistic Verification.- Learning and Verification.- Hybrid Systems.- Security.- Probabilistic Modelling and Abstraction.- Applications and Tools.
Quantitative Evaluation of Systems
16th International Conference, QEST 2019, Glasgow, UK, September 10 12, 2019, Proceedings