Robust State Estimation for Uncertain Neural Networks