Decoding edges in state transition graphs