Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.

Laurent Fribourg, Stphane Messika

Browse the full PODC paper archive.