[BuddeHKKPQT20] On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report Budde, C. E.; Hartmanns, A.; Klauck, M.; Kret'inský, J.; Parker, D.; Quatmann, T.; Turrini, A. and Zhang, Z. In ISoLA (4), pages 216-241, Springer, Lecture Notes in Computer Science 12479, 2020.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-83723-5_15