Random walks for probabilistic robustness | IEEE Conference Publication | IEEE Xplore