Random finite sets and sequential Monte Carlo methods in multi-target tracking | IEEE Conference Publication | IEEE Xplore