The papers entitled “Bayesian Inference by Symbolic Model Checking” by Bahare Salmani and Joost-Pieter Katoen and “Probabilistic Model Checking of AODV” by Mojgan Kamali and Joost-Pieter Katen have been accepted at the 17th Int. Conf. on Quantitative Evaluation of Systems (QEST 2020). Out of 42 submissions to QEST 2020, 10 papers have been unconditionally accepted

The first papers investigates the usage of symbolic probabilistic model checking of Bayes’ networks and experimentally compares this to tailored symbolic decision diagrams techniques in AI.

The second paper presents a probabilistic timed automata model of the AODV routing protocol and reports on its verification focusing on the sensitivity w.r.t. message loss probabilities and network topologies.