In response to a comment, here is some more detail (that doesn't itself fit into a comment).The question was about stability and how to prove convergence under the limiting process.
To prove existence, you don't need stability: just take a sequence of longer and longer rays, and choose a convergent subsequence. This exists because of compactness of the set of possible initial directions.
To prove uniqueness: this follows from the hyperbolicity of the flow. Think of the convex obstacles as trick mirrors that make you look skinny, cylinders with a convex cross-section. The convexity implies that reflected rays diverge at least as fast as they would from a flat mirror. Successive reflected images of the two mirrors in each other get thinner and thinner, so they narrow down to a unique point. (In the three-dimensional picture, they're also narrowing vertically, just at the relatively slow rate at which images shrink with distance in Euclidean space rather than at the exponential rate resulting from mirrors that are convex to 2nd order).
One way to formalize the discussion above is by use of triangle comparison theorems. Double the complement of the convex bodies to make a surface. The surface can be smoothly approximated by a surface of nonpositive curvature if it's comforting, but that's not technically necessary; the (intuitively obvious) statement about image sizes above become cases of the Toponogov comparison theorem.