An Extension of Matthews' Bound to Multiplex Random Walks | IEEE Conference Publication | IEEE Xplore