Enforcing ω-regular properties in Markov chains by restarting by Esparza, J, Kiefer, SM, Křetínský, J, Weininger, M

Tools at the frontiers of quantitative verification: QComp 2023 competition report by 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