This interdisciplinary book defines reachability in the stochastic framework, covering such concepts as stochastic reachability based on Markov process theory; martingale methods; stochastic reachability as an optimal stopping problem & dynamic programming.