Student-t process quadratures for filtering of non-linear systems with heavy-tailed noise | IEEE Conference Publication | IEEE Xplore