Stochastic Models of a Cooperative Autonomous UAV Search Problem