On correctness, precision, and performance in quantitative verification: QComp 2020 Competition Report Tekijä Budde, CE, Hartmanns, A, Klauck, M, Křetínský, J, Parker, D, Quatmann, T, Turrini, A, Zhang, Z

Tools at the frontiers of quantitative verification: QComp 2023 competition report Tekijä Andriushchenko, R, Bork, A, Budde, CE, Češka,, M, Grover, K, Hahn, EM, Hartmanns, A, Israelsen, B, Jansen, N, Jeppson, J, Junges, S, Köhl, MA, Könighofer, B, Křetínský, J, Meggendorfer, T, Parker, D, Pranger, S, Quatmann, T, Ruijters, E, Taylor, L, Volk, M, Weininger, M, Zhang, Z