Analytical Bounds For End-To-End Risks In Stochastic Robot Navigation