The review process accepted 19 papers that will appear in the proceedings of QEST 2020:
12 full papers, 7 short papers, and 1 demo (presentation only).
The best full/short paper award winners are marked with a superscript ^♥

• Bounding Mean First Passage Times in Population Continuous-Time Markov Chains.
  Michael Backenköhler, Luca Bortolussi, Verena Wolf.
• Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.
  Marco Bernardo.
• Markovian Arrival Processes in Multi-Dimensions.
  Andreas Blume, Peter Buchholz, Clara Scherbaum.
• Automatic pre- and postconditions for partial differential equations.
  Michele Boreale.
• Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study.
  Gerrit Großmann, Michael Backenköhler, Verena Wolf.
• Probabilistic Model Checking of AODV.
  Mojgan Kamali, Joost-Pieter Katoen.
• Hardening Critical Infrastructure Networks Against Attacker Reconnaissance.
  Kartik Palani, David M. Nicol.
• Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels.^♥
  Michael Rausch, William H. Sanders.
• Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers.
  Kizito Salako.
• Bayesian Inference by Symbolic Model Checking.
  Bahare Salmani, Joost-Pieter Katoen.
• Multi-player Equilibria Verification for Concurrent Stochastic Games.
  Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos.
• Entropy Measurement of Concurrent Disorder.
  Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev.

• The Dynamic Fault Tree Rare Event Simulator.^♥
  Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga.
• CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems.
  Olivia Das, Arindam Das.
• Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.
  Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf.
• A Matlab toolkit for the analysis of two-level processor sharing queues.
  Andrea Marin, Sabina Rossi, Carlo Zen.
• SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis.
  Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen Roberts.
• StochNetV2: a tool for automated deep abstractions for stochastic reaction networks.
  Denis Repin, Nhat-Huy Phung, Tatjana Petrov.
• M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis.
  Mehmet Akif Yazici, Tuan Phung-Duc.

• Compact and explainable strategy representations using dtControl
  . Pranav Ashok, Mathias Jackermeier, Jan Křetínský, Maximilian Weininger.