This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions.

Machine Learning for Reliability Analysis of Large Scale Distributed Systems.- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis.- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks.- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.- Probabilistic Model Checking of AODV.- Multi-player Equilibria Verification for Concurrent Stochastic Games.- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers.- Bayesian Inference by Symbolic Model Checking.- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems.- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues.- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis.- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains.- Markovian Arrival Processes in Multi-Dimensions.- Automatic Pre- and Postconditions for Partial Differential Equations.- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study.- The Dynamic Fault Tree Rare Event Simulator.- Entropy Measurement of Concurrent Disorder.- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance.- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels.- Flexible Nets.- Verifying Probabilistic Programs. 

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com