A Bayesian Formulation for Multi-Bernoulli Random Finite Sets in Multi-Target Tracking | IEEE Conference Publication | IEEE Xplore