Enforcing ω-Regular Properties in Markov Chains by Restarting.

Javier Esparza, Stefan Kiefer, Jan Kretnsk, Maximilian Weininger

Browse the full CONCUR paper archive.