Discrete-time filtering for nonlinear polynomial systems over linear observations | IEEE Conference Publication | IEEE Xplore