Before revision:  We formalize three properties to generate similar and simpler alternatives : across simulations and a user study, our algorithm better enables robots to extrapolate the human's objective.
After revision:  We formalize three properties to generate similar and simpler alternatives : across simulations and a user study, our resulting algorithm better extrapolates the human's objective.