Detection probabilities for satellite automatic identification system with decollision algorithm and spot beam | IEEE Conference Publication | IEEE Xplore