automata data-streaming formal-specification monitoring monitoring-tool regular-expression runtime-verification

data-streaming jax machine-learning pandas python reinforcement-learning time-series xarray

affirmative-sampling cardinality-estimation data-streaming probabilistic-algorithm random-sampling

adaptive-learning change-detection cumulative-sum data-streaming recursive-least-squares sequential-monitoring time-series