Extended constrained Viterbi algorithm for AIS signals received by satellite | IEEE Conference Publication | IEEE Xplore