What are the recommended recursive algorithms to generate proofs of time variant and time invariant properties from a time series data. Approaches like recursive statistical tests, symbolic time series analysis, probabilistic model checking are mentioned as possible methods.