A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras | IEEE Conference Publication | IEEE Xplore