Laurent Fribourg Stéphane Messika Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. 322 2005 conf/podc/2005 PODC http://doi.acm.org/10.1145/1073814.1073875 db/conf/podc/podc2005.html#FribourgM05