Recently there have been a lot of interests in introducing UAV s for a wide range of applications, making ensuring safety of multi-vehicle systems a highly crucial problem. Hamilton-Jacobi (HJ) ...