Deciding Termination of Simple Randomized Loops.

lanore Meyer, Jrgen Giesl

Browse the full MFCS paper archive.