Arbitrarily varying channels with states sequence known to the sender | IEEE Journals & Magazine | IEEE Xplore