An analytical formulation of global occlusion reasoning for multi-target tracking | IEEE Conference Publication | IEEE Xplore