Enhancing random walk state space exploration. - Radek Pelánek; Tomás Hanzl; Ivana Cerná; Lubos Brim (FMICS, 2005)