Characterizing the structure of A+B when A+B has small upper Banach density

Let A and B be two infinite sets of non-negative integers. Similar to Kneser's Theorem (Theorem 1.1 below) we characterize the structure of A+B when the upper Banach density of A+B is less than the sum of the upper Banach density of A and the upper Banach density of B.