1. A computer-implemented method for correcting a description of a trajectory of a device, the method comprising: receiving, by one or more processors, initial trajectory data that provides an initial description of an approximate trajectory of the device during a time period; receiving, by the one or more processors, correction data that indicates a location of the device outside the approximate trajectory of the device within the time period; and generating, by the one or more processors, modified trajectory data that provides a modified description of a corrected trajectory of the device, including: generating, by the one or more processors, terms to express (i) location constraints that limit deformation of the approximate trajectory of the device and (ii) a modification constraint that limits departure of the corrected trajectory of the device from the location indicated by the correction data, and modifying, by the one or more processors, the initial description of the approximate trajectory of the device using the generated terms.