Probabilistic guarantees of safety and performance are important in constrained dynamical systems with stochastic uncertainty. We consider the reachability problem, which maximizes probability that state remains within time-varying constraints (i.e., a “target tube”), despite bounded control authority. This problem subsumes viability terminal hitting-time reach-avoid problems. Of special intere...