Random finite sets and sequential Monte Carlo methods in multi-target tracking | Synapse