Inverse Problem of Travel Time Difference Functions on a Compact Riemannian Manifold with Boundary

We show that the travel time difference functions, between common interior points and pairs of points on the boundary, determine a compact Riemannian manifold with smooth boundary up to Riemannian isometry if the boundary satisfies a certain visibility condition. This corresponds with the inverse microseismicity problem. In the proof of this result, we also construct an explicit smooth atlas from the travel time difference functions.