Software analysis unifying particle filtering and marginalized particle filtering | IEEE Conference Publication | IEEE Xplore