Formal Methods Paradigms For Estimation And Machine Learning In Dynamical Systems