Synthesis of Parametric Hybrid Automata from Time Series.

Miriam García Soto Thomas A. Henzinger Christian Schilling

Published in: CoRR (2022)

Keyphrases

hybrid automata
finite state automata
program synthesis
non stationary
dynamic time warping
multivariate time series
machine learning
symbolic representation
texture synthesis
reinforcement learning
logic programs
stock market
autoregressive
finite state machines
chronic hepatitis