Probabilistic certification of pan‐tilt‐zoom camera surveillance systems